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.boss...@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-boun...@lists.bx.psu.edu > [mailto:galaxy-dev-boun...@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-...@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: >> >> http://lists.bx.psu.edu/ > > -- > 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/ > > > > > ___________________________________________________________ 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/