Ask Your Question

Can I shutdown the server from the admin web interface?

asked 2010-08-25 21:31:50 +0200

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 23:56:00 +0200

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-26 00:02:16 +0200 )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 21:31:50 +0200

Seen: 1,087 times

Last updated: Aug 25 '10