diff --git a/parametricJob.py b/parametricJob.py index 44861a60824469b2b0b51868537b5c4781b2987a..2f19121a67565f9a689f32dac9f681cafa661413 100644 --- a/parametricJob.py +++ b/parametricJob.py @@ -294,7 +294,7 @@ class ParametricJob(PRMSet): #file.write("echo \"at JobId = $jobId\"\n") #file.write('%s -x -i $jobId -d "%s"\n' % (sys.argv[0], os.getcwd()) ) script = re.sub(r'(.+)Gui.pyw',r'\1.py', sys.argv[0]) #if launched through a Gui => use the basic script instead in batch - file.write('setsid %s -x -i %d -d "%s"\n' % (script, launchId, os.getcwd()) ) + file.write('setsid %s -x -i %d -d "%s"\n' % (script, launchId, os.getcwd()) ) # setsid added to generate a new process group (used to easily kill process tree), else the process group is the same as atd daemon (=> killScript kill all at process running) file.close() os.chmod(scriptname,0o700)