# HG changeset patch # User Sushi-k # Date 1272261275 -32400 # Node ID c729a68415ebb7459a0ad1c536413fe68c2b8b81 # Parent e379552d084c11024fa2187cca1ef3685d10d4b3 fix: preg_split¤Î¥Ý¥«¥ß¥¹¤ò½¤Àµ diff -r e379552d084c -r c729a68415eb recorder.php --- a/recorder.php Sun Apr 18 18:06:39 2010 +0900 +++ b/recorder.php Mon Apr 26 14:54:35 2010 +0900 @@ -76,7 +76,7 @@ // 標準出力を読む $cpids = array(); while( ! feof( $pipes[1] ) ) { - $line = fgets( $pipes[1] ); + $line = trim(fgets( $pipes[1] )); $pids = preg_split( "/[\s]+/", $line ); if( $pids[1] == $ppid ) { array_push( $cpids, $pids[0] );