def killJob(jobid):
global _sharedir
resdir = os.popen("realpath %s/results/jobs/%s" % (_sharedir, jobid)).read().strip()
- f = os.popen("sudo ls -l /proc/*/cwd | grep ' %s$" % resdir)
+ f = os.popen("sudo ls -l /proc/*/cwd | grep ' %s$'" % resdir)
for l in f.readlines():
m = re.match("main.py\s+(\d+)", l)
if m:
os.system(cmd)
time.sleep(5)
f.close()
- f = os.popen("sudo ls -l /proc/*/cwd | grep ' %s$" % resdir)
+ f = os.popen("sudo ls -l /proc/*/cwd | grep ' %s$'" % resdir)
pids = []
for l in f.readlines():
m = re.match("\S+\s+(\d+)", l)
pid = None
global _sharedir
resdir = os.popen("realpath %s/results/jobs/%s" % (_sharedir, jobid)).read().strip()
- f = os.popen("sudo ls -l /proc/*/cwd | grep ' %s$" % resdir)
+ f = os.popen("sudo ls -l /proc/*/cwd | grep ' %s$'" % resdir)
for l in f.readlines():
m = re.match("main.py\s+(\d+)", l)
if m: