#436: bisched should clear bibsched.pid when no longer valid
-----------------------+-----------------------------------------------
Reporter: skaplun | Owner: Samuele Kaplun <samuele.kaplun@…>
Type: defect | Status: closed
Priority: major | Milestone: v1.0
Component: BibSched | Version:
Resolution: fixed | Keywords:
-----------------------+-----------------------------------------------
Changes (by Samuele Kaplun <samuele.kaplun@…>):
* owner: => Samuele Kaplun <samuele.kaplun@…>
* status: in_merge => closed
* resolution: => fixed
Comment:
In [3f34ee41d07f4f657b9c93b2581e1d123d7c762c]:
{{{
#!CommitTicketReference repository=""
revision="3f34ee41d07f4f657b9c93b2581e1d123d7c762c"
BibSched: improve bibsched pid handling
* Improves bibsched server pid handling by erasing it when
no server is found to be running with the given pid.
* Additionaly fail with an error if bibsched is found to
be running with a different pid than the one specified
in the pid file. (closes #436)
}}}
--
Ticket URL: </ticket/436#comment:4>
Invenio <http://invenio-software.org>
