[plt-scheme] Web server pid

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Mon Dec 18 19:52:26 EST 2006

The web-server doesn't do anything like. What you could do is write a
shell script that call web-server-text with exec, the exec would cause
bash (or sh) to exec and the new mzscheme process would have the same
PID, so you could inspect $$.

Patches welcome.


On 12/18/06, Norman Gray <norman at astro.gla.ac.uk> wrote:
> Greetings.
> Is there a straightforward way of finding the (PLT) web server's PID
> ('straightforward', here, in the sense of 'less nasty than grepping
> `ps`')?  It's the sort of thing I'd rather anticipate seeing in
> the .../log file, or in a .../run.pid beside it, but there's nothing
> there, nothing obvious in web-server/private/launch.ss, and no
> mention of it that I can see in the web-server docs.
> Alternatively (for this is the point), is there some command-line
> alternative support for shutting down a particular server?  Again,
> there's nothing obvious sitting alongside plt-web-server-text.
> Thanks for any pointers.  Best wishes,
> Norman
> --
> ------------------------------------------------------------------------
> ----
> Norman Gray  /  http://nxg.me.uk
> eurovotech.org  /  University of Leicester, UK
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Jay McCarthy <jay.mccarthy at gmail.com>

Posted on the users mailing list.