2017-09-14 19:34:18 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace Amp\Process\Internal\Windows;
|
|
|
|
|
|
|
|
use Amp\Deferred;
|
|
|
|
use Amp\Process\Internal\ProcessHandle;
|
|
|
|
|
2017-11-25 02:08:30 +01:00
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
* @codeCoverageIgnore Windows only.
|
|
|
|
*/
|
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->joinDeferred = new Deferred;
|
2017-09-17 19:07:13 +02:00
|
|
|
$this->pidDeferred = new Deferred;
|
2017-09-14 19:34:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/** @var Deferred */
|
2017-09-17 17:58:05 +02:00
|
|
|
public $joinDeferred;
|
2017-09-14 19:34:18 +02:00
|
|
|
|
|
|
|
/** @var string */
|
|
|
|
public $exitCodeWatcher;
|
|
|
|
|
2017-09-17 19:07:13 +02:00
|
|
|
/** @var bool */
|
|
|
|
public $exitCodeRequested = false;
|
|
|
|
|
2017-09-14 19:34:18 +02:00
|
|
|
/** @var resource */
|
|
|
|
public $proc;
|
|
|
|
|
|
|
|
/** @var int */
|
|
|
|
public $wrapperPid;
|
|
|
|
|
|
|
|
/** @var resource */
|
|
|
|
public $wrapperStderrPipe;
|
|
|
|
|
|
|
|
/** @var resource[] */
|
2017-09-17 19:07:13 +02:00
|
|
|
public $sockets = [];
|
2017-09-14 19:34:18 +02:00
|
|
|
|
2017-09-17 17:58:05 +02:00
|
|
|
/** @var Deferred[] */
|
|
|
|
public $stdioDeferreds;
|
|
|
|
|
2017-09-19 19:41:01 +02:00
|
|
|
/** @var string */
|
|
|
|
public $childPidWatcher;
|
|
|
|
|
2017-09-14 19:34:18 +02:00
|
|
|
/** @var string */
|
|
|
|
public $connectTimeoutWatcher;
|
|
|
|
|
|
|
|
/** @var string[] */
|
|
|
|
public $securityTokens;
|
|
|
|
}
|