Project

General

Profile

Actions
Copy link

Bug #271

closed

Catch SIGINT and cancel job

Added by Thomas Jahns almost 13 years ago. Updated almost 13 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Thomas Jahns
Start date:
06/03/2011
Due date:
06/03/2011
% Done:

100%

Estimated time:
1:00 h

Description

The job is currently not cancelled automatically, but this would be desirable on signal exit.

Actions
Copy link

Also available in: Atom PDF