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 +
Subject: Re: [galaxy-dev] New tool not recognised unless i reboot
From: p.j.a.c...@googlemail.com
To: makis4e...@hotmail.com
CC: galaxy-dev@lists.bx.psu.edu
2011/12/14 Makis Ladoukakis makis4e...@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:
http://lists.bx.psu.edu/
___
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:
http://lists.bx.psu.edu/