From 9d78c3e22ad57178ddab12feadbd7e23967853a8 Mon Sep 17 00:00:00 2001 From: m1ke Date: Mon, 21 Feb 2022 10:26:34 +0000 Subject: [PATCH 1/2] Add threads config to xsd --- config.xsd | 1 + 1 file changed, 1 insertion(+) diff --git a/config.xsd b/config.xsd index e2301ea7890..2d295436a2e 100644 --- a/config.xsd +++ b/config.xsd @@ -128,6 +128,7 @@ + From 628bf584c25427caff243352003e69c724927fad Mon Sep 17 00:00:00 2001 From: m1ke Date: Mon, 21 Feb 2022 11:07:21 +0000 Subject: [PATCH 2/2] Alter config file to actually load threads param --- src/Psalm/Config.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Psalm/Config.php b/src/Psalm/Config.php index 2ca59125dc3..33035789e97 100644 --- a/src/Psalm/Config.php +++ b/src/Psalm/Config.php @@ -1252,8 +1252,8 @@ private static function fromXmlAndPaths( } } - if (isset($config_xml->threads)) { - $config->threads = (int)$config_xml->threads; + if (isset($config_xml['threads'])) { + $config->threads = (int)$config_xml['threads']; } return $config;