Hi Makis, Ordinarily in interactive mode, ctrl+c should work. However, when just using 'run.sh' certain python/OS combinations experience issues. You'll need to manually kill your instance, e.g. using 'kill <pid>'. Next time you start Galaxy you can use 'run.sh --reload' which should enable interactive usage with ctrl-c working. You can also stat Galaxy daemonized using 'sh run.sh --daemon'; stop with sh run.sh --stop-daemon'. Thanks for using Galaxy, Dan On Dec 14, 2011, at 3:36 PM, Makis Ladoukakis wrote:
I couldn't find a way to stop the instance through the terminal. Ctrl+C doesn't work so i just close the terminal itself. Is there a command that stops the instance?
Date: Wed, 14 Dec 2011 17:32:41 +0000 Subject: Re: [galaxy-dev] New tool not recognised unless i reboot From: p.j.a.cock@googlemail.com To: makis4ever@hotmail.com CC: galaxy-dev@lists.bx.psu.edu
2011/12/14 Makis Ladoukakis <makis4ever@hotmail.com>:
Dear galaxy users,
I have downloaded a local instance of Galaxy on my linux distribution (ubuntu) and i am adding new tools i made myself. To add a new tool i follow all the steps (tool definition file and the modification of tool_conf.xml) and run 'sh run.sh' for Galaxy to include it in its interface. Nevertheless when i try to do the same later after i close Galaxy, when i run 'sh run.sh' again i get this error:
socket.error: [Errno 98] Address already in use
Did you stop the old Galaxy instance which is still running and using that network address?
Peter
Please keep all replies on the list by using "reply all" in your mail client. To manage your subscriptions to this and other Galaxy lists, please use the interface at: