diff options
Diffstat (limited to 'src/hyper/hyper.pamphlet')
| -rw-r--r-- | src/hyper/hyper.pamphlet | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/hyper/hyper.pamphlet b/src/hyper/hyper.pamphlet index 3e407d07..8f514af8 100644 --- a/src/hyper/hyper.pamphlet +++ b/src/hyper/hyper.pamphlet @@ -949,9 +949,10 @@ make_server_connections(void) if (open_server(MenuServerName) == -2) { fprintf(stderr, "(HyperDoc) Warning: Not connected to AXIOM Server!\n"); MenuServerOpened = 0; - } - else + } else { + atexit(&clean_socket); MenuServerOpened = 1; + } /* |