diff options
| author | alfredoport <doyenatccny@gmail.com> | 2007-09-13 22:11:13 +0000 |
|---|---|---|
| committer | alfredoport <doyenatccny@gmail.com> | 2007-09-13 22:11:13 +0000 |
| commit | 09784132ff79b5f253ab2825d965c4b529e27246 (patch) | |
| tree | 082e2b01df9d1a401183eaf056236f26d351f22c /src/hyper/hyper.pamphlet | |
| parent | 3a1b2980a28cd0a1f2e730df1512ff11c62b6151 (diff) | |
| download | open-axiom-09784132ff79b5f253ab2825d965c4b529e27246.tar.gz | |
Fix bug when restarting HyperDoc
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; + } /* |