Shutdown socket before closing

ed2c4166 · Elvis Pranskevichus · db5b7881 · ed2c4166
Commit ed2c4166 authored Apr 27, 2016 by Elvis Pranskevichus
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

run_benchmarks run_benchmarks +1 -0

No files found.
--- a/run_benchmarks
+++ b/run_benchmarks
@@ -224,6 +224,7 @@ def start_and_wait_for_server(server_cmd, address, timeout=60):
                      '----------------------\n' +
                      '\n\n'.join(server.communicate()))
        else:
+            sock.shutdown(socket.SHUT_RDWR)
            sock.close()
            return server