I think it is better to move this discussion to the trac page
http://trac.sagemath.org/sage_trac/ticket/7893
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit thi
Hi Kwankyu,
Thanks for your work. Here are some comments for the current version:
49 os.kill(pid,signal.SIGTERM)
50 time.sleep(.5)
51 if os.path.isfile(pid_file):
52 print "Waiting for the sage server to terminate..."
53 ti
Hi Don,
I just uploaded a revised version of the script modified according to
your comments. Check it out!
Kwankyu
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options,
On Oct 13, 6:03 pm, Kwankyu Lee wrote:
> Hi,
> There is a simple script for that purpose in trac ticket #7893.
> http://trac.sagemath.org/sage_trac/ticket/7893
Some comments on the script:
1) The stop_server function does not do error checking to ensure that
the pid contained in the pid file act
Hi,
There is a simple script for that purpose in trac ticket #7893.
http://trac.sagemath.org/sage_trac/ticket/7893
Kwankyu
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more
