only use posix_getpid() for debugging when possible

17 years ago · 2a6a93953b
parent e78fd196a9
commit 2a6a93953b
1 changed files with 3 additions and 1 deletions
--- 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