I’m working with a SSH server, to run my Galaxy platform. Without using SSH, I can use my Galaxy website, so I think that Galaxy runs on deamon. Now I want to update my Galaxy files, and therefore I need to stop the Galaxy server and restart him.
My question is, how can I stop the Galaxy server, make an update en restart this server.
Running galaxy section in this link, shall help you do it.
Please note that
/etc/init.d/galaxymight already be existing on the server. If it already exists you can stop the server by writing:and start it again by writing this on the console where you are logged into the server: