2017-09-14 19:34:18 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace Amp\Process\Internal\Posix;
|
|
|
|
|
|
|
|
use Amp\Deferred;
|
|
|
|
use Amp\Process\Internal\ProcessHandle;
|
|
|
|
|
2017-11-25 02:08:30 +01:00
|
|
|
/** @internal */
|
2017-09-17 17:58:05 +02:00
|
|
|
final class Handle extends ProcessHandle {
|
2017-09-14 19:34:18 +02:00
|
|
|
public function __construct() {
|
2017-09-17 17:58:05 +02:00
|
|
|
$this->pidDeferred = new Deferred;
|
|
|
|
$this->joinDeferred = new Deferred;
|
2017-09-14 19:34:18 +02:00
|
|
|
$this->originalParentPid = \getmypid();
|
|
|
|
}
|
|
|
|
|
|
|
|
/** @var Deferred */
|
2017-09-17 17:58:05 +02:00
|
|
|
public $joinDeferred;
|
2017-09-14 19:34:18 +02:00
|
|
|
|
|
|
|
/** @var resource */
|
|
|
|
public $proc;
|
|
|
|
|
2017-09-17 17:58:05 +02:00
|
|
|
/** @var resource */
|
|
|
|
public $extraDataPipe;
|
2017-09-14 19:34:18 +02:00
|
|
|
|
|
|
|
/** @var string */
|
|
|
|
public $extraDataPipeWatcher;
|
|
|
|
|
2017-09-17 19:07:13 +02:00
|
|
|
/** @var string */
|
|
|
|
public $extraDataPipeStartWatcher;
|
|
|
|
|
2017-09-14 19:34:18 +02:00
|
|
|
/** @var int */
|
|
|
|
public $originalParentPid;
|
|
|
|
}
|