only use posix_getpid() for debugging when possible

diff --git a/functions.php b/functions.php
index 873df424dd71f223d6bbc27293b337fe4c829277..024232e9ae012a5e172071063eb0d610d58471d2 100644 (file)
--- a/functions.php
+++ b/functions.php
@@ -87,7 +87,9 @@
         */
        function _debug($msg) {
                $ts = strftime("%H:%M:%S", time());
-               $ts = "$ts/" . posix_getpid();
+               if (function_exists('posix_getpid')) {
+                       $ts = "$ts/" . posix_getpid();
+               }
                print "[$ts] $msg\n";
        } // function _debug