Waldek Hebisch <[EMAIL PROTECTED]> writes:
[...]
| > else
| > -MenuServerOpened = 1;
| > + /* In order to allow hyperdoc restarts from the console we clean up
| > + * the socket on exit */
| > + atexit(&clean_socket);
| > + MenuServerOpened = 1;
| >
| >
| >
> This patch has been applied and tested.
>
> diff --git a/src/hyper/hyper.pamphlet b/src/hyper/hyper.pamphlet
> index 2126df1..1e44d61 100644
> --- a/src/hyper/hyper.pamphlet
> +++ b/src/hyper/hyper.pamphlet
> @@ -945,11 +945,14 @@ make_server_connections(void)
> */
>
> if (open_ser
This patch has been applied and tested.
Date: Thu, 13 Sep 2007 14:59:19 -0400
From: "Alfredo Portes" <[EMAIL PROTECTED]>
To: Axiom-Developer
Subject: Re: [Axiom-developer] Two hyperdoc questions
On 18 Jun 2007 08:24:33 +0200, Martin Rubey <[EMAIL PROTECTED]> wrote:
> > 2) If I inadvertently quit
