Thank you for hinting the reload option. I opened the universe_wsgi.ini in the galaxy-dist folder and changed the port to 8081, the host to 0.0.0.0, then saved. The server reloads, but the changes have not taken effect. It is still at 127.0.0.1 and 8080... As far as I can see there is no other universe_wsgi.ini file except one that is calles universe_wsgi.ini sample. ----- Original Message -----
From: Dannon Baker dannon.baker@gmail.com To: Tobias Hohenaur hohenauer@brain.riken.jp Cc: Peter Cock p.j.a.cock@googlemail.com,Galaxy Dev galaxy-dev@lists.bx.psu.edu Date: 2013-04-09 22:47:04 Subject: Re: [galaxy-dev] How to be an admin?
Yeah, if you're running it with just `run.sh`, that should work fine. One thing you can do if you're going to be tweaking a bunch of settings would be to run it with the reload option enabled `run.sh --reload`.
When you change the port in universe_wsgi.ini in the galaxy directory, kill the server and restart, in the log at the end you should see something like: serving on 0.0.0.0:<new port> view at http://127.0.0.1:<new port>
If you're not seeing that, I'd verify that you're editing the correct universe_wsgi.ini. Perhaps you have multiple galaxies installed somehow?
On Tue, Apr 9, 2013 at 9:39 AM, Tobias Hohenaur hohenauer@brain.riken.jpwrote:
I just hit ctrl c in the terminal to stop. Is that enough? ----- Original Message -----
From: Dannon Baker dannon.baker@gmail.com To: Tobias Hohenaur hohenauer@brain.riken.jp Cc: Peter Cock p.j.a.cock@googlemail.com,Galaxy Dev <
galaxy-dev@lists.bx.psu.edu>
Date: 2013-04-09 22:30:38 Subject: Re: [galaxy-dev] How to be an admin?
How is it that you're restarting the server?
It might be useful to check galaxy's log to see what's going on -- this would be paster.log in your galaxy directory or perhaps the foreground
of
the terminal you're executing galaxy from.
-Dannon
On Tue, Apr 9, 2013 at 9:25 AM, Tobias Hohenaur <
hohenauer@brain.riken.jp>wrote:
That does not help. Actually, I tried to change random things in the universe_wsgi.ini, like setting the port to 8081, but none of the
changes
take effect when I restart the server. I am confused... ----- Original Message ----- >> From: Peter Cock p.j.a.cock@googlemail.com >> To: Tobias Hohenaur hohenauer@brain.riken.jp >> Cc: galaxy-dev@lists.bx.psu.edu >> Date: 2013-04-07 23:28:31 >> Subject: Re: [galaxy-dev] How to be an admin? >> >> On Sun, Apr 7, 2013 at 1:27 PM, Tobias Hohenaur >> hohenauer@brain.riken.jp wrote: >> > Hello, >> > >> > I just installed and updated a local instance of Galaxy on my
mac. I
then >> > created a user and set the according username (email) as admin
in the
>> > universe_wsgi.ini file. When I save and restart the server no
admin
panel >> > appears. What am I doing wrong? >> > Thank you very much for your help! >> > Tobias >> >> Make sure you are logged in, and that the email address of your >> Galaxy account matches the universe_wsgi.ini setting exactly >> (case may be important). Also the setting used to have problems >> with extra white space (but I think that was fixed). >> >> 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/
To search Galaxy mailing lists use the unified search at: http://galaxyproject.org/search/mailinglists/