#13908: Exit Sage gracefully upon SIGHUP
----------------------------------+-----------------------------------------
Reporter: jdemeyer | Owner: jdemeyer
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-5.7
Component: c_lib | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers: Volker Braun
Authors: Jeroen Demeyer | Merged in:
Dependencies: #13748, #13946 | Stopgaps:
----------------------------------+-----------------------------------------
Description changed by jdemeyer:
Old description:
> Change the signal handling code to allow a graceful forced exit of Sage.
> "graceful" meaning that code is interrupted and the normal exit handlers
> are run. This graceful exit is not guaranteed to work, code which is
> currently not interruptible would not be exited.
>
> This might be used by the doctesting framework to handle timeouts.
>
> This patch also improves interrupt debugging:
> 1. Different debug levels, set in a C file such that not everything
> needs to be recompiled when changing the debug level.
> 2. Show time between signal received and exception raised.
New description:
Change the signal handling code to allow a graceful forced exit of Sage.
"graceful" meaning that code is interrupted and the normal exit handlers
are run. This graceful exit is not guaranteed to work, code which is
currently not interruptible would not be exited.
This might be used by the doctesting framework to handle timeouts.
This patch also improves interrupt debugging:
1. Different debug levels, set in a C file such that not everything
needs to be recompiled when changing the debug level.
2. Show time between signal received and exception raised.
'''Apply''': [attachment:13908_terminate.patch]
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13908#comment:11>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
