1 | <?php |
||
13 | class ExitEvent extends Event |
||
14 | { |
||
15 | /** |
||
16 | * @var int |
||
17 | */ |
||
18 | protected $pid; |
||
19 | |||
20 | /** |
||
21 | * @var int |
||
22 | */ |
||
23 | protected $status; |
||
24 | |||
25 | 10 | public function __construct(int $pid, int $status) |
|
32 | |||
33 | 8 | public function getPid() : int |
|
37 | |||
38 | 8 | public function getStatus() : int |
|
42 | |||
43 | 8 | public function getExitCode() : int |
|
47 | |||
48 | 8 | public function getExitSignal() : int |
|
56 | |||
57 | 8 | public function isNormalExit() : bool |
|
61 | |||
62 | 8 | public function isSignalExit() : bool |
|
66 | } |
||
67 |