From 8c91d2bcad7df7c647f1379483673183329ddfe8 Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@fe.uni-lj.si>
Date: Tue, 05 Jul 2016 10:53:31 +0000
Subject: [PATCH] Fixed some bugs in cluster.c, added a line in cluster.h

---
 python/trisurf/tsmgr.py |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/python/trisurf/tsmgr.py b/python/trisurf/tsmgr.py
index 8b38c95..fa7d20f 100644
--- a/python/trisurf/tsmgr.py
+++ b/python/trisurf/tsmgr.py
@@ -80,8 +80,7 @@
 
 		elif opt == '-k':
 			if processno:
-				p=psutil.Process(Runs[processno-1].getPID())
-				p.kill()
+				Runs[processno-1].stop()
 		else:
 			printHelp()
 			sys.exit(2)

--
Gitblit v1.9.3