Re: [galaxy-user] Can't seem to stop or restart the Galaxy in server

2012-10-19 Thread Todd Oakley
situations, and I copied it here... On 10/19/2012 8:24 AM, Nate Coraor wrote: On Oct 18, 2012, at 1:43 AM, Todd Oakley wrote: Yes, daemon/stop-daemon is the best way. However, to stop a process that was not started with --daemon, this is what I do: ps aux | grep galaxy Identify the process

Re: [galaxy-user] Can't seem to stop or restart the Galaxy in server

2012-10-18 Thread Todd Oakley
Yes, daemon/stop-daemon is the best way. However, to stop a process that was not started with --daemon, this is what I do: ps aux | grep galaxy Identify the process numbers for 3 Galaxy processes, which will change every time Galaxy is restarted. For example this line: galaxy 11638 0.0