diff options
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; + } /* |