On 2016-12-25 12:55, Jean-Pierre Flori wrote:
On Sunday, December 25, 2016 at 10:32:11 AM UTC+1, Jeroen Demeyer wrote:
On 2016-12-24 13:30, Jean-Pierre Flori wrote:
> I just want to kill Magma
M.quit() should work.
Sure, but how do I trigger a call to M.quit() iin the middle of a long
computation?
??? Didn't you answer this question yourself before?
M = magma() # I only need an ephemeral Magma instance
try:
alarm(3600)
M(...) # potentially very long one shot computation
except AlarmInterrupt:
M.quit()
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
