trisurf-client.git

REST client for workers

Samo Penic

2018-12-23 6bb7d2af3bc3c1f032c1c0c4060577a158ff5f8d

 tsclient.py

@@ -282,7 +282,7 @@
                     try:
                        concurrent_runs=client_ping(self.conn_address,cid)
                     except:
                        print("[{}] Could not client ping.".format(self.sid))
                        print("[{}] Could not client ping.".format(self.id))
                        self.p.terminate()
                        self.p=None
                        removeDir(self.workingdir.fullpath())

			@@ -282,7 +282,7 @@
			try:
			concurrent_runs=client_ping(self.conn_address,cid)
			except:
			print("[{}] Could not client ping.".format(self.sid))
			print("[{}] Could not client ping.".format(self.id))
			self.p.terminate()
			self.p=None
			removeDir(self.workingdir.fullpath())