functions.php
changeset 16 23d4cf2f183b
parent 15 2adca0f363fd
child 32 86140ed9087d
--- a/functions.php	Wed Apr 02 00:23:51 2008 -0400
+++ b/functions.php	Wed Apr 02 01:36:53 2008 -0400
@@ -39,7 +39,7 @@
 function status($msg)
 {
   $h = @fopen('php://stderr', 'w');
-  $label = ( defined('HTTPD_WS_CHILD') ) ? 'Child ' . getmypid() : ' Greyhound ';
+  $label = ( defined('HTTPD_WS_CHILD') ) ? 'Child ' . substr(strval(getmypid()), -3) : 'Greyhound';
   fwrite($h, "\x1B[32;1m[$label] \x1B[32;0m$msg\x1B[0m\n");
   fclose($h);
 }