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 | |
| parent | 3a1b2980a28cd0a1f2e730df1512ff11c62b6151 (diff) | |
| download | open-axiom-09784132ff79b5f253ab2825d965c4b529e27246.tar.gz | |
Fix bug when restarting HyperDoc
Diffstat (limited to 'src/hyper')
| -rw-r--r-- | src/hyper/ChangeLog | 5 | ||||
| -rw-r--r-- | src/hyper/hyper.pamphlet | 5 |
2 files changed, 8 insertions, 2 deletions
diff --git a/src/hyper/ChangeLog b/src/hyper/ChangeLog index 316d8b7b..4219fb2a 100644 --- a/src/hyper/ChangeLog +++ b/src/hyper/ChangeLog @@ -1,3 +1,8 @@ +2007-09-13 Alfredo Portes <alfredo.portes@gmail.com> + Waldek Hebisch <hebisch@math.uni.wroc.pl> + + * hyper.pamphlet : Cleanup HyperDoc sockets when restart. + 2007-07-29 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet: Propagate libtoolization changes. 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; + } /* |