Project

General

Profile

Actions

Bug #271

closed

Catch SIGINT and cancel job

Added by Thomas Jahns about 11 years ago. Updated about 11 years ago.

Status:
Closed
Priority:
Normal
Assignee:
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 #1

Updated by Thomas Jahns about 11 years ago

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

Updated by Thomas Jahns about 11 years ago

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

Also available in: Atom PDF