On Jan 30, 2013, at 11:34 AM, Daniel Patrick Sullivan wrote:
> Hi, Galaxy Developers,
>
> I have a couple of hopefully quick questions regarding PBS integration with
> Galaxy;
>
> I noticed (based on taking a look at the PBS log data) that Galaxy
> authenticates rather frequently to the pbs_mo
Hi, Galaxy Developers,
I have a couple of hopefully quick questions regarding PBS integration with
Galaxy;
I noticed (based on taking a look at the PBS log data) that Galaxy
authenticates rather frequently to the pbs_mom server (please see the log
data at the end of this email).
Is the frequency