Ask Your Question

Can I shutdown the server from the admin web interface?

asked 2010-08-25 14:31:50 -0600

ccanonc gravatar image

So far I've always hit control-c in the terminal where I called "./sage -n"; is there a cleaner way to setup the server as a service?

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted

answered 2010-08-25 16:56:00 -0600

William Stein gravatar image

A clean thing to do is to look at the file $HOME/.sage/sage_notebook.sagenb/ 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/`

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/`")
edit flag offensive delete link more


A button for that is on my wishlist. =)

ccanonc gravatar imageccanonc ( 2010-08-25 17:02:16 -0600 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2010-08-25 14:31:50 -0600

Seen: 903 times

Last updated: Aug 25 '10