Project

General

Profile

Actions

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:
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

Also available in: Atom PDF