If I understand you correctly we are saying exactly the same thing.... What I did was implementing a "server process" as a trivial shell script. The user (one user in my case) can kill his own copy of sage but not the server process since that runs as root. The server process can then restart the user copy of sage.
So your solution is exactly equivalent to mine. Of course I agree that writing the server process in python would give a lot more flexibility. Michel --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
