quitting sage.app leaves processes running
Using sage.app under Mac OS X 10.6.8 sage-5.6-OSX-64bit-10.6-x86_64-Darwin-app.dmg when I quit sage.app (choosing 'Quit Sage' from the 'Sage' menu), several processes continue to run (see below for 'ps x' output).
Is this normal? Could I have messed up my Sage installation? I've been installing CPLEX and Gurobi lately. I've run 'sage -b' several times.
thanks, Daniel
after quitting sage.app: $ ps x | grep sage 5758 ?? Ss 0:00.02 /bin/bash /Applications/Sage.app/Contents/Resources/start-sage.sh /Applications/Sage.app/Contents/Resources/sage/sage /Users/daniel/Library/Logs/sage.log 5761 ?? Ss 0:00.81 /bin/bash /Applications/Sage.app/Contents/Resources/sage-is-running-on-port.sh --wait 5827 ?? S 0:00.00 bash ./sage --notebook 5829 ?? S 0:00.01 bash /Applications/Sage.app/Contents/Resources/sage/spkg/bin/sage --notebook 5834 ?? S 0:01.92 python /Applications/Sage.app/Contents/Resources/sage/local/bin/sage-notebook 5849 ?? S 0:04.64 python /Applications/Sage.app/Contents/Resources/sage/local/bin/twistd --pidfile=sage_notebook.sagenb/sagenb.pid -ny sage_notebook.sagenb/twistedconf.tac 6796 ?? Ss 0:00.15 /bin/bash /Applications/Sage.app/Contents/Resources/sage-is-running-on-port.sh --wait 7323 s000 S+ 0:00.00 grep sage
This is more or less known - see http://trac.sagemath.org/sage_trac/ticket/11026 for where at least some of these issues are cleaned up. I think Sage sometimes leaves ghost processes anyway, sadly, though I couldn't say with any precision why or when.
It is a well known thing with the sage *server*. It leaves "ghost" worksheets around even after the server is quit. I don't think anyone knows why these worksheets stay around. For the server there is a sage-cleaner script that is started, but even this doesn't really help. For the desktop, I noticed that sage-cleaner doesn't stay around. It is started and it checks something and quits immediately. I don't know why. But if the OSX sage.app is able to reliably reproduce "ghost" worksheets every time, it should be investigated because it might help in fixing the generic problem.
CPLEX, Gurbi are both commercial solvers or a free version? I also want to use some solvers such as IPOPT for optimization under SAGE.