Project

General

Profile

Actions
Copy link

Bug #271

closed

Catch SIGINT and cancel job

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

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

Updated by Thomas Jahns over 11 years ago

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

Also available in: Atom PDF