1 Title: Fixed process locking (pid file handling)
10 The PID file handling of the Event Console had the following issues:
12 a) The locking was only done by the init script. Manual executions
13 could lead to multiple running EC processes. This has been fixed
14 by adding an additional file lock to the PID file.
15 b) The PID file was only removed in case the EC stopped without
16 exception. In case one happened, the PID file was left over
17 refering to the old PID.