diff --git a/kiri-engine/Pool/QueueInterface.php b/kiri-engine/Pool/QueueInterface.php index 6e24515e..a17e6660 100644 --- a/kiri-engine/Pool/QueueInterface.php +++ b/kiri-engine/Pool/QueueInterface.php @@ -17,7 +17,7 @@ interface QueueInterface * @param float $timeout * @return void */ - public function push(mixed $data, float $timeout = -1): void; + public function push(mixed $data, float $timeout = -1): bool; /** diff --git a/kiri-engine/Pool/SplQueue.php b/kiri-engine/Pool/SplQueue.php index 1c4e390f..8c31be4e 100644 --- a/kiri-engine/Pool/SplQueue.php +++ b/kiri-engine/Pool/SplQueue.php @@ -11,9 +11,15 @@ use JetBrains\PhpStorm\Pure; class SplQueue implements QueueInterface { + /** + * @var \SplQueue + */ private \SplQueue $channel; + /** + * @var int + */ public int $errCode = 0;