Hi All,
After changing the sleep in manager.py from 5 seconds to 0.2 seconds, the job
start is very snappy. I did not touch the various sleep(10)s that don't seem
to be relevant.
I'm testing how long it takes to sort a short bed file in galaxy.
After the fix, the problem seems to be at the en
I am having trouble with Galaxy removing the .mgz file extension from
Freesurfer files I upload. I understand .gz gets stripped for gzipped
files, but the pattern matching algorithm for detecting the extension must
be treating the '.' as 'any character' rather than a literal '.' character.
I am lef
