Ask Your Question
1

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
2

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/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 more

Comments

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

Stats

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

Seen: 949 times

Last updated: Aug 25 '10