getPid() public method

Get the PID of the running server.
public getPid ( ) : integer
return integer The PID of the server, or 0 if the server was not started.
BuiltInServer Class Documentation
Example #1
0
 /**
  * The setup method that is run before any tests in this class.
  */
 protected function setup()
 {
     $this->server = new BuiltInServer('configLoader');
     $this->server_addr = $this->server->start();
     $this->server_pid = $this->server->getPid();
     $this->shared_file = sys_get_temp_dir() . '/' . $this->server_pid . '.lock';
     @unlink($this->shared_file);
     // remove it if it exists
 }