If you didn't start the sage server through a terminal, then the above won't work. I have a script that contains:
#!/bin/sh kill -9 `cat $HOME/.sage/sage_notebook.sagenb/twistd.pid` It kills the entire sage process tree. On Mar 2, 10:53 am, "D.C. Ernst" <[email protected]> wrote: > Thanks! > > On Mar 1, 3:00 pm, William Stein <[email protected]> wrote: > > > On Mon, Mar 1, 2010 at 10:30 AM, Robert Bradshaw > > > <[email protected]> wrote: > > > On Mar 1, 2010, at 9:02 AM, Dana Ernst wrote: > > > >> What's the proper way to quit a local sage notebook? I've been signing > > >> out of the web browser and then quitting terminal, which kills anything > > >> running. I have OSX 10.6. Is this what you are supposed to do? > > > > You can kill the sage -notebook process with two interrupts (control-C). > > > I think one control-C now works. (It used to be 2.) > > > William -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
