_debug: mention current PID

17 years ago · b7ff666fe8
parent e620f72f32
commit b7ff666fe8
1 changed files with 1 additions and 0 deletions
--- 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";
 	}