_debug: mention current PID

diff --git a/functions.php b/functions.php
index bdc702d490e2726fb0695590d3e0abd979cea4f1..099da8a41bcc3bae78fc53366cd7ed19174fe29f 100644 (file)
--- a/functions.php
+++ b/functions.php
@@ -77,6 +77,7 @@
 
        function _debug($msg) {
                $ts = strftime("%H:%M:%S", time());
+               $ts = "$ts/" . posix_getpid();
                print "[$ts] $msg\n";
        }