add .pid to pidfile names

darcs-hash:20080904190254-84dde-57d24d7a82e4c7eabef87d60ebb69292832e31ac.gz

diff --git a/lib/daemon.php b/lib/daemon.php
index 09144afe730e2119c75d373dfbccdb6b8098f2c2..0bda0272f4bbd20ef17c444dc13a17a5d1952396 100644 (file)
--- a/lib/daemon.php
+++ b/lib/daemon.php
@@ -80,7 +80,7 @@ class Daemon {
                if (!$name) {
                        return NULL;
                }
-               return $piddir . '/' . $name;
+               return $piddir . '/' . $name . '.pid';
        }
 
        function changeUser() {