Can I shutdown the server from the admin web interface?

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

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?

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2010-08-25 23:56:00 +0100

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

edit flag offensive delete link

Comments

A button for that is on my wishlist. =)

ccanonc ( 2010-08-26 00:02:16 +0100 )edit

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: 2010-08-25 21:31:50 +0100

Seen: 1,121 times

Last updated: Aug 25 '10

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