[galaxy-dev] Changing wall times...

Hi, I was not the original installer of our Galaxy instance, but have been tasked with changing the wall time that is requested when a job is submitted to the pbs queue. I found the job_walltime option in the universe_wsgi.ini, but we seem to be using round robin submission which then, in turn, submits a job to the pbs queue, so this doesn't work for me. Does anyone know an easy way to change the default time of 1 hr on this? Thanks, Kyle -- *************************** Kyle Kurz EECS Box 142 Stocker Center Ohio University Athens, OH 45701 kyle.w.kurz@gmail.com 740.249.9729 ***************************