Restarting Galaxy

1. Connect to knot using the galaxy user login
2. Find the galaxy processs that are running by typing:

ps aux | grep galaxy

1. Identify the process numbers for 3 Galaxy processes, which will change every time Galaxy is restarted.

For example this line: galaxy 11638 0.0 0.0 63856 988 ? S Nov10 0:00 /bin/sh ./run.sh --reload

indicates the process has a number of 11638.

The 3 processes look like:

1. 1. /bin/sh ./run.sh --reload
   2. python ./scripts/paster.py serve universe_wsgi.ini --reload
   3. /home/galaxy/bin/python ./scripts/paster.py serve universe_wsgi.ini --reload

Next, kill the three processes with this command:

 kill -9 <ID1> <ID2> <ID3>

Then change to the galaxy-dist directory:

 cd /home/galaxy/galaxy-dist

Then restart Galaxy by executing the run.sh script:

 nohup ./run.sh --reload &

Alternate method to restart Galaxy:

 ./run.sh --daemon --reload