Hi Lenya devs,
I don't know if this behaviour is intended:
When I start my Lenya 1.2.x, the process ID seems to be written to a
file. Ctrl+C doesn't shutdown Jetty, but the next ./lenya.sh kills the
process with the stored ID.
Is there any special reason for this behaviour? IMO storing PIDs is
dangerous - on the next day, the ID could be assigned to another process
which will be killed when you startup Lenya ... Or is this not possible?
-- Andreas
--
Andreas Hartmann, CTO
BeCompany GmbH
http://www.becompany.ch
Tel.: +41 (0) 43 818 57 01
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]