Properly close sockets (and more importantly, kill child processes) on Ctrl-C.

diff --git a/main.cpp b/main.cpp
index 18976fc833b6d49a981af6fc67e79fe1efa64469..50fd48e729f1df4c47b30755e017b9f2d2c1a0d8 100644 (file)
--- a/main.cpp
+++ b/main.cpp
@@ -623,6 +623,9 @@ start:
        }
        for (const auto &key_and_input_with_refcount : inputs) {
                key_and_input_with_refcount.second.input->stop();
+               if (stopped) {
+                       key_and_input_with_refcount.second.input->close_socket();
+               }
        }
        servers->stop();