ddc8a8243d
Fix port server on Windows
2017-05-05 14:02:35 -07:00
e1f5302bc5
Port server fixes
...
- correct a couple of race conditions that could result in duplicated port assignments to different processes
- enhance detection code for 'is this port in use' to be much more robust
2017-05-04 19:53:19 +00:00
09ebed7bf4
Ensure port server can shutdown
2017-04-25 10:19:10 -07:00
ec49524269
Add a mutex around allocate_port
2017-04-24 20:55:43 +00:00
ea525ebd39
Threaded port_server
2017-04-24 17:50:32 +00:00
8e64d901fd
Modify shebang on python scripts
...
Change shebangs to `#!/usr/bin/env python` instead of
`#!/usr/bin/env python2.7`.
2017-03-12 19:53:12 +01:00
5c79a3199c
cleanup tools/run_tests directory
2016-12-22 10:47:52 +01:00
Craig Tiller