Thanks. Helped me! On Thu, Oct 18, 2012 at 11:02 AM, Enis Afgan <[email protected]> wrote:
> With a certain version of Python there's been an issue stopping Galaxy > using ctrl+C. You can use 'sh run.sh --daemon' to have the process run in > the background and then 'sh run.sh --stop-damemon' to stop it. > > Hope this helps, > Enis > > On Thu, Oct 18, 2012 at 4:12 PM, Sachit Adhikari < > [email protected]> wrote: > >> Hello Everyone. Ctrl+C or Ctrl+D doesn't stop the Galaxy server. In local >> machine, I need to close the terminal and restart the terminal again. >> However, in server I integrated several tools, now I need to restart the >> server to test it. I used ./run.sh --reload doesn't restart the server and >> I can't stop the server. How can I stop or restart Galaxy in the real >> working server? Thanks >> ___________________________________________________________ >> The Galaxy User list should be used for the discussion of >> Galaxy analysis and other features on the public server >> at usegalaxy.org. Please keep all replies on the list by >> using "reply all" in your mail client. For discussion of >> local Galaxy instances and the Galaxy source code, please >> use the Galaxy Development list: >> >> http://lists.bx.psu.edu/listinfo/galaxy-dev >> >> To manage your subscriptions to this and other Galaxy lists, >> please use the interface at: >> >> http://lists.bx.psu.edu/ >> > >
___________________________________________________________ The Galaxy User list should be used for the discussion of Galaxy analysis and other features on the public server at usegalaxy.org. Please keep all replies on the list by using "reply all" in your mail client. For discussion of local Galaxy instances and the Galaxy source code, please use the Galaxy Development list: http://lists.bx.psu.edu/listinfo/galaxy-dev To manage your subscriptions to this and other Galaxy lists, please use the interface at: http://lists.bx.psu.edu/
