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" <ernst.tr...@gmail.com> wrote: > Thanks! > > On Mar 1, 3:00 pm, William Stein <wst...@gmail.com> wrote: > > > On Mon, Mar 1, 2010 at 10:30 AM, Robert Bradshaw > > > <rober...@math.washington.edu> 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 sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
