From 52c6ee705359af39a112e846a39a0187d855f800 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=90=91=E6=9E=97?= Date: Mon, 11 Jul 2022 14:50:33 +0800 Subject: [PATCH] modify plugin name --- kiri-engine/Pool/Pool.php | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/kiri-engine/Pool/Pool.php b/kiri-engine/Pool/Pool.php index 59c92fc4..fa33f5b9 100644 --- a/kiri-engine/Pool/Pool.php +++ b/kiri-engine/Pool/Pool.php @@ -65,15 +65,14 @@ class Pool extends Component public function check($name): array { $channel = $this->channel($name); - var_dump($channel->length()); if ($channel->length() < 1) { return [0, 0]; } - $count = $success = 0; + $success = 0; $lists = []; + $count = $channel->length(); while (($pdo = $channel->pop()) instanceof PDO) { - $count += 1; if ($pdo->check()) { $success += 1; }