From 211905278b942ed7e15d9b57211afa2f8252e939 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=90=91=E6=9E=97?= Date: Mon, 11 Jul 2022 17:51:41 +0800 Subject: [PATCH] modify plugin name --- kiri-engine/Pool/Pool.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kiri-engine/Pool/Pool.php b/kiri-engine/Pool/Pool.php index b1d290f4..e47a093e 100644 --- a/kiri-engine/Pool/Pool.php +++ b/kiri-engine/Pool/Pool.php @@ -89,7 +89,7 @@ class Pool extends Component $lists = []; $count = $channel->length(); while ($this->status->is(StatusEnum::EXIT) === false) { - if (!(($pdo = $channel->pop(0)) instanceof PDO)) { + if (!(($pdo = $channel->pop(0.001)) instanceof PDO)) { break; } if ($pdo->check()) {