#14029: Exit Sage ungracefully upon SIGQUIT
----------------------------------+-------------------------------
       Reporter:  jdemeyer        |        Owner:  jdemeyer
           Type:  enhancement     |       Status:  positive_review
       Priority:  major           |    Milestone:  sage-5.13
      Component:  c_lib           |   Resolution:
       Keywords:                  |    Merged in:
        Authors:  Jeroen Demeyer  |    Reviewers:  Peter Bruin
Report Upstream:  N/A             |  Work issues:
         Branch:                  |       Commit:
   Dependencies:  #13908, #13996  |     Stopgaps:
----------------------------------+-------------------------------
Changes (by pbruin):

 * status:  needs_review => positive_review
 * reviewer:   => Peter Bruin


Comment:

 This looks like a useful feature to me.  The patch looks good and behaves
 as expected, and all doctests pass.

 The fact that `sage-CSI` is run does mean that if GDB is available, it now
 takes about 10 seconds before you are back at the shell.  Pressing `^\` a
 second time does not immediately interrupt `sage-CSI`.  I'm not sure why;
 is the `^\` somehow intercepted by GDB?  Pressing `^C` during these 10
 seconds does generate a Python `KeyboardInterrupt` in `sage-CSI`, but does
 not immediately get you back to the shell either.

 Anyway, the issues in the above paragraph are only slightly annoying and
 should probably be addressed elsewhere than in this ticket (if at all), so
 no reason against a positive review.

--
Ticket URL: <http://trac.sagemath.org/ticket/14029#comment:7>
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.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to