At the end of the script which runs sage there is this: # This should kill all children of this process too. # Uncomment this if you have trouble with orphans. # Note that you'll get an annoying "Killed" message # whenver Sage exists. # kill -9 -$$
where the last but one line should read # whenever Sage exits. (2 typos!) John -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
