Project

General

Profile

Actions
Copy link

Bug #271

closed

Catch SIGINT and cancel job

Added by Thomas Jahns over 13 years ago. Updated over 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
 #1

Updated by Thomas Jahns over 13 years ago

  • Status changed from New to Closed
  • Assignee set to Thomas Jahns
Actions
Copy link
 #2

Updated by Thomas Jahns over 13 years ago

  • Due date set to 06/03/2011
  • % Done changed from 0 to 100
  • Estimated time set to 1:00 h
Actions
Copy link

Also available in: Atom PDF