From 9013bd55cc404dc4a717e4171a91cffbc72cb025 Mon Sep 17 00:00:00 2001
From: Luc Papeleux <l.papeleux@uliege.be>
Date: Thu, 13 Apr 2023 10:39:02 +0200
Subject: [PATCH] force the creation of a new group in at command using
'setsid' to make killscripts workable
---
parametricJob.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/parametricJob.py b/parametricJob.py
index a5c766b..44861a6 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('%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()) )
file.close()
os.chmod(scriptname,0o700)
--
GitLab