5824: Fix server shutdown code.
authorTom Clegg <tom@curoverse.com>
Sat, 7 Nov 2015 09:00:50 +0000 (04:00 -0500)
committerTom Clegg <tom@curoverse.com>
Sun, 8 Nov 2015 20:16:04 +0000 (15:16 -0500)
commita3dfcea5c3767936aa7bff6e03268d4ecadd0489
tree783f174d794680633a8b9bc936029502f83e0e88
parent1e10339657c1dee2b71b4d10eddffd0a35c949b3
5824: Fix server shutdown code.

* Pay attention to --num-keep-servers in stop_keep.

* Wait for processes to exit, to avoid start/stop races.

* Tighten exception handling in kill_server_pid() and warn instead of
  crashing in various races.

* Log TERM signals.

* Log when a server does not shut down within the given deadline.
sdk/go/arvadosclient/arvadosclient_test.go
sdk/python/tests/run_test_server.py