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