[sage-support] Re: How cleanly kill Sage notebook on command line?

2009-10-05 Thread Kwankyu
Hi, I am personally using a python script to start and stop Sage server. It uses screen command and is based on the idea William gave below. Here is the script: http://dl.getdropbox.com/u/1465360/sage-server The script reads in the configuration file ".sage/sage-server.conf". A sample file is h

[sage-support] Re: How cleanly kill Sage notebook on command line?

2009-10-04 Thread Alex Clemesha
On Sun, Oct 4, 2009 at 3:43 PM, Chris Seberino wrote: > > I'm writing an /etc/init.d script to start and stop the Sage notebook. > > I'm not sure how to cleanly shutdown the notebook from the command > line. > > ps -ef shows a lot of sage processes so it isn't obvious which one I > should kill -9

[sage-support] Re: How cleanly kill Sage notebook on command line?

2009-10-04 Thread William Stein
On Sun, Oct 4, 2009 at 3:43 PM, Chris Seberino wrote: > > I'm writing an /etc/init.d script to start and stop the Sage notebook. > > I'm not sure how to cleanly shutdown the notebook from the command > line. > > ps -ef shows a lot of sage processes so it isn't obvious which one I > should kill -9