From f066597dcbb2980d503725defe18e62770bfa9cb Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@fe.uni-lj.si>
Date: Tue, 24 May 2016 20:19:46 +0000
Subject: [PATCH] Moved stop(kill) command to runner
---
python/trisurf/trisurf.py | 7 +++++--
1 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/python/trisurf/trisurf.py b/python/trisurf/trisurf.py
index bed6f7d..8b36d27 100644
--- a/python/trisurf/trisurf.py
+++ b/python/trisurf/trisurf.py
@@ -397,8 +397,6 @@
print("Process in "+self.Dir.fullpath()+" already running. Not starting.")
return
- def stop(self):
- pass
def setMaindir(self,prefix,variables):
maindir=""
@@ -443,6 +441,11 @@
report=["N/A","N/A",statustxt, pid, str(self.Dir.fullpath()), self.Comment.getText()]
return report
+
+ def stop(self):
+ p=psutil.Process(self.getPID())
+ p.kill()
+
def writeComment(self, data, mode='w'):
self.Dir=Directory(maindir=self.maindir,simdir=self.subdir)
self.Comment=FileContent(os.path.join(self.Dir.fullpath(),".comment"))
--
Gitblit v1.9.3