Mwinelands strace foo

Here is the gold

if ( $_SERVER['REMOTE_ADDR'] == '10.30.4.80' ) {
      $file = 'pid.log';
      $current = getmypid();
      file_put_contents($file, $current);
      sleep(7);
}