d56f9237d7
We expect the server to exit when its communication pipes are closed. Close them and wait for the server to exit. If supported by the current version of python, kill the server if it does not exit after a few seconds. |
||
---|---|---|
.. | ||
buildsystem1 | ||
CMakeLists.txt | ||
cmakelib.py | ||
empty.cpp | ||
server-test.py | ||
tc_buildsystem1.json | ||
tc_globalSettings.json | ||
tc_handshake.json |