diff --git a/src/ClientSideMonitoring/ConfigurationProvider.php b/src/ClientSideMonitoring/ConfigurationProvider.php index b83de70f84..7d884c062c 100644 --- a/src/ClientSideMonitoring/ConfigurationProvider.php +++ b/src/ClientSideMonitoring/ConfigurationProvider.php @@ -182,7 +182,7 @@ public static function ini($profile = null, $filename = null) } // port is optional - if (empty($data[$profile]['csm_port'])) { + if (empty($data[$profile]['csm_port']) || filter_var($data[$profile]['csm_port'], FILTER_VALIDATE_INT) === false) { $data[$profile]['csm_port'] = self::DEFAULT_PORT; }