Changes between Version 25 and Version 26 of Ticket #9678


Ignore:
Timestamp:
01/14/11 00:24:25 (9 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9678 – Description

    v25 v26  
    77 * '''DONE''': handle SIGINT differently from other signals (other signals are urgent and cannot be ignored.  SIGINT on the other hand does not need to handled immediately, but we have to be careful for race conditions).
    88 * '''DONE''': allow {{{sig_on()}}} and {{{sig_off()}}} to be nested.
    9  * '''IN PROGRESS''': implement {{{sig_retry()}}} for retrying failed computations (this is useful for PARI, see #10018).
     9 * '''DONE''': implement {{{sig_retry()}}} for retrying failed computations (this is useful for PARI, see #10018).
    1010 * '''TODO''': have an interface for more general errors which are not signals.
    1111 * '''DONE''': clean up old, unused code.