Zhengxing Yang
Results
2
issues of
Zhengxing Yang
After inst end, the child process is not killed. (this is weird but it only killed the vrep.sh instead of the whole thing.) fixed by change: def end(self): print('(instance) terminating...')...
fix: def find_free_port_to_use(self): #https://stackoverflow.com/questions/1365265/on-localhost-how-do-i-pick-a-free-port-number with closing(socket.socket(socket.AF_INET, socket.SOCK_STREAM)) as s: s.bind(('', 0)) return s.getsockname()[1]