Revision history [back]
 | 1 | initial version |
A clean thing to do is to look at the file $HOME/.sage/sage_notebook.sagenb/twistd.pid and kill the process with that PID. You can type this command to do this all in one line:
kill `cat $HOME/.sage/sage_notebook.sagenb/twistd.pid`
You can make a shell script with the above line if you wanted. Or you could do this from in Sage:
os.system("kill `cat $HOME/.sage/sage_notebook.sagenb/twistd.pid`")
