16 Commits (5395006d6b69536ab2f5969e18000fd96f159546)

Author SHA1 Message Date
Ken Payson 189d685cc5 Added timeout to port server 9 years ago
Ken Payson d9dfc673fc Change port_server.py to use port 32766 9 years ago
Ken Payson 98716b3bb7 Change port_server.py to use port 32766 9 years ago
Ken Payson fa51de5d3d Change port_server.py to use port 32766 9 years ago
Jan Tattermusch 3bd0827935 put cwd of port server elsewhere 9 years ago
Craig Tiller 41a7bf5449 Close standard pipes 9 years ago
Craig Tiller d2c39713bc Attempt to daemonize port server 9 years ago
Craig Tiller f0a293ed67 Robustness work for port_server startup 9 years ago
Craig Tiller fe4939f809 More robust port_server version checking 9 years ago
Nathaniel Manista ae4fbcd643 Use "#!/usr/bin/env python2.7" only in utilities 9 years ago
Craig Tiller c20b19d0f7 better logging 9 years ago
Jan Tattermusch 13e65dfd4f import yaml module lazily 9 years ago
Craig Tiller ae322afe60 Better port selection 9 years ago
Craig Tiller 9a0c10efc6 Windows fix 9 years ago
Craig Tiller ef12559f0f Rework restart facility to be more portable 9 years ago
Craig Tiller f53d9c8d0d Testing port server 9 years ago