From c9637f2dd3fe65b24e3ad321d9c4c764b22e282f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=90=91=E6=9E=97?= Date: Mon, 3 Apr 2023 13:54:09 +0800 Subject: [PATCH] =?UTF-8?q?=E5=8F=98=E6=9B=B4?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- kiri-engine/Pool/QueueInterface.php | 2 +- kiri-engine/Pool/SplQueue.php | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) 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;