Hey Alex, Thanks for the quick response. The reason why I asked this question is because we reimplemented our plugin WS-Extension tool, which allows users to import web services as tools in Galaxy. This process involves making changes to tool_conf.xml, hence the restarting process is required. I also had an extension to this question, is it possible to customize Galaxy server for each user?, I think its not possible since it implies having separate tool_conf.xml for each user. I would appreciate if you could enlighten me on this. Thanks, -Akshay Choche On Mar 28, 2013, at 6:02 AM, "Bossers, Alex" <Alex.Bossers@wur.nl> wrote:
Akshay If you have galaxy_reports running on your server you can see the most likely logged in users under: "Users/Date of last login" when you query it for 0 days. You at least have a login per day (not on the hour though). For restarting purposes we ignore "viewers" and monitor the running jobs in galaxy from the admin interface. Additionally we check with htop on the server side of things if galaxy is "very active". Or where you looking for some different functionality? Alex
-----Oorspronkelijk bericht----- Van: galaxy-dev-bounces@lists.bx.psu.edu [mailto:galaxy-dev-bounces@lists.bx.psu.edu] Namens Jennifer Jackson Verzonden: donderdag 28 maart 2013 10:29 Aan: Akshay Vivek Choche; Galaxy Dev Onderwerp: [galaxy-dev] Knowing who is currently logged into your system
Hi Akshay,
I am going to post your question over to the galaxy-dev@bx.psu.edu mailing list, to give it better viability.
You could probably run an sql query against a database table to find out this information, but there may be a better way. Let's see if someone has a method worked out they want to share.
Another alternative is to look in our documentation, ReadTheDocs. I did a search on "login" and a few potentials popped up: http://galaxy-dist.readthedocs.org/en/latest/
Going forward, the galaxy-dev list is the list you will want to post to - and consider subscribing to - if you are running a local instance and want to join/discuss issues with the community of other users doing the same. http://wiki.galaxyproject.org/MailingLists http://wiki.galaxyproject.org/Support#Mailing_Lists
Thanks!
Jen Galaxy team
On 3/12/13 5:46 PM, Akshay Vivek Choche wrote:
Hello All,
I was wondering if there is a way to know all the users logged into your local galaxy server?
Thanks, -Akshay Choche
___________________________________________________________ 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:
-- Jennifer Hillman-Jackson Galaxy Support and Training http://galaxyproject.org
___________________________________________________________ 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/