equal
deleted
inserted
replaced
37 */ |
37 */ |
38 |
38 |
39 function status($msg) |
39 function status($msg) |
40 { |
40 { |
41 $h = @fopen('php://stderr', 'w'); |
41 $h = @fopen('php://stderr', 'w'); |
42 fwrite($h, "\x1B[32;1m[Greyhound] \x1B[32;0m$msg\x1B[0m\n"); |
42 $label = ( defined('HTTPD_WS_CHILD') ) ? 'Child ' . getmypid() : ' Greyhound '; |
|
43 fwrite($h, "\x1B[32;1m[$label] \x1B[32;0m$msg\x1B[0m\n"); |
43 fclose($h); |
44 fclose($h); |
44 } |
45 } |
45 |
46 |
46 /** |
47 /** |
47 * Print a stylized warning message, compatible with Linux consoles |
48 * Print a stylized warning message, compatible with Linux consoles |