Can I shutdown the server from the admin web interface?

ccanonc
577 ●21 ●31 ●45

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?

add a comment

1 Answer

Sort by » oldest newest most voted

answered 14 years ago

William Stein
2179 ●11 ●32 ●63 http://wstein.org/

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`")

link

Comments

A button for that is on my wishlist. =)

ccanonc ( 14 years ago )

add a comment

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

Stats

Asked: 14 years ago

Seen: 1,156 times

Last updated: Aug 25 '10

Can I shutdown the server from the admin web interface? savecancel