original_string: protected function checkStartedWorker($pidFile)
      {
          $pid = false;
          if (file_exists($pidFile) && false !== $pid = file_get_contents($pidFile)) {
              unlink($pidFile);
              return (int)$pid;
          }
          return false;
      }
code: protected function checkStartedWorker($pidFile)
      {
          $pid = false;
          if (file_exists($pidFile) && false !== $pid = file_get_contents($pidFile)) {
              unlink($pidFile);
              return (int)$pid;
          }
          return false;
      }
code_tokens: protected function checkStartedWorker ( $ pidFile ) { $ pid = false ; if ( file_exists ( $ pidFile ) && false !== $ pid = file_get_contents ( $ pidFile ) ) { unlink ( $ pidFile ) ; return ( int ) $ pid ; } return false ; }
docstring: Check the content of the PID file created by the worker
  to retrieve its process PID
  
  @param  string $path Path to the PID file
  
  @codeCoverageIgnore
  @since  1.2.0
  @return false|int The worker process ID, or false if error
docstring_tokens: Check the content of the PID file created by the worker to retrieve its process PID