25 Oct
2008
25 Oct
'08
8:24 p.m.
Hello, Start up your server as a daemon ( depending on your platform ). Perhaps something like: to start server: sh run.sh --daemon to stop server: sh run.sh --stop-daemon Greg Von Kuster Galaxy Development Team very wrote:
Do you provide any program to restart the galaxy server? Currently, I just Ctrl+z to exit the run.sh, but some time it kept the port binding, so I have to restart the computer to release the port to start the server. If I work remotely, this put me into trouble.
------------------------------------------------------------------------
_______________________________________________ galaxy-user mailing list galaxy-user@bx.psu.edu http://mail.bx.psu.edu/cgi-bin/mailman/listinfo/galaxy-user