REST client for workers
parent: 1bc9bba5 | patch | commit | ignore whitespace
Samo Penic
2018-12-23 6bb7d2af3bc3c1f032c1c0c4060577a158ff5f8d 
Fix in a bug
1 files modified
2 ■■■■■ changed files
tsclient.py 2 ●●●●● patch | view | raw | blame | history 
 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())