<?php if($_SERVER['HTTP_HOST'] == '127.0.0.1') { $file = fopen('input.txt', 'r'); } else { $file = STDIN; } while(($line = fgets($file)) !== false) { $line = trim($line); if($line == 42) break; echo $line . "\n"; } ?>
<?php if($_SERVER['HTTP_HOST'] == '127.0.0.1') { $file = fopen('input.txt', 'r'); } else { $file = STDIN; } while(($line = fgets($file)) !== false) { $line = trim($line); if($line == 42) break; echo $line . "\n"; } ?>