github
/
phpservermon
mirror of https://github.com/phpservermon/phpservermon
1
0
Fork 0
Code Issues Releases Wiki Activity

Refactor

pull/850/head
TimZ99 2020-02-09 15:10:07 +01:00
parent 5934e9a25c
commit 7ffc75598a
No known key found for this signature in database
GPG Key ID: 4D8268DC68E8339D
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/psm/Util/Server/Updater/StatusUpdater.php
View File

@ -367,9 +367,9 @@ class StatusUpdater
} }
// Check ssl cert just when other error is not already in... // Check ssl cert just when other error is not already in...
if ($result !== false) { if ($result !== false) {
$this->checkSsl($this->server, $this->error, $result); $this->checkSsl($this->server, $this->error, $result);
} }
// check if server is available and rerun if asked. // check if server is available and rerun if asked.
if (!$result && $run < $max_runs) { if (!$result && $run < $max_runs) {