#27 Clean up PID file on exit

closed
Jay Sorg
None
5
2010-07-26
2009-07-09
Christoph Brill
No

Clean up PID file on exit

Discussion

  • Jay Sorg
    Jay Sorg
    2009-08-05

    • assigned_to: nobody --> jsorg71
     
  • Jay Sorg
    Jay Sorg
    2009-08-05

    Committed

     
  • This patch seems to be already applied to the CVS sources, I guess the tracker patch can be closed.

     
  • Jay Sorg
    Jay Sorg
    2010-07-26

    • status: open --> closed
     
  • Jay Sorg
    Jay Sorg
    2010-07-26

    looks like its already in there