rs though.
>>
>> Are you planning to give all users the possibility to plug custom tools?
>> Won't that be insecure?
>>
>> Cheers
>> Alex
>>
>>
>> -Oorspronkelijk bericht-----
>> Van: Akshay Vivek Choche [mailto:acho...@uga.edu]
>> Verzon
; Alex
>
>
> -Oorspronkelijk bericht-
> Van: Akshay Vivek Choche [mailto:acho...@uga.edu]
> Verzonden: donderdag 28 maart 2013 15:22
> Aan: Bossers, Alex
> CC: Jennifer Jackson; Galaxy Dev
> Onderwerp: Re: [galaxy-dev] Knowing who is currently logged into your
acho...@uga.edu]
Verzonden: donderdag 28 maart 2013 15:22
Aan: Bossers, Alex
CC: Jennifer Jackson; Galaxy Dev
Onderwerp: Re: [galaxy-dev] Knowing who is currently logged into your system
Hey Alex,
Thanks for the quick response. The reason why I asked this question is because
we reimplemente
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.
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