diff --git a/src/hyper/hyper.pamphlet b/src/hyper/hyper.pamphlet
index 2126df1..53ecd9a 100644
--- a/src/hyper/hyper.pamphlet
+++ b/src/hyper/hyper.pamphlet
@@ -948,9 +948,11 @@ make_server_connections(void)
         fprintf(stderr, "(HyperDoc) Warning: Not connected to AXIOM Server!\n");
         MenuServerOpened = 0;
     }
-    else
-        MenuServerOpened = 1;
+    else {
 
+        atexit(&clean_socket);
+        MenuServerOpened = 1;
+    }
 
     /*
      * If I have opened the MenuServer socket, then I should also try to open