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_mom
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
