comparison recorder.php @ 172:2a944f0c15c5

merged from upstream
author Yoshiki Yazawa <yaz@honeyplanet.jp>
date Fri, 30 Apr 2010 12:21:17 +0900
parents c729a68415eb
children f68f63465a41
comparison
equal deleted inserted replaced
170:1c4558d1a449 172:2a944f0c15c5
74 }while( $st['running'] ); 74 }while( $st['running'] );
75 75
76 // 標準出力を読む 76 // 標準出力を読む
77 $cpids = array(); 77 $cpids = array();
78 while( ! feof( $pipes[1] ) ) { 78 while( ! feof( $pipes[1] ) ) {
79 $line = fgets( $pipes[1] ); 79 $line = trim(fgets( $pipes[1] ));
80 $pids = preg_split( "/[\s]+/", $line ); 80 $pids = preg_split( "/[\s]+/", $line );
81 if( $pids[1] == $ppid ) { 81 if( $pids[1] == $ppid ) {
82 array_push( $cpids, $pids[0] ); 82 array_push( $cpids, $pids[0] );
83 } 83 }
84 } 84 }