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

Removed whitespace

pull/880/head
Tim 2020-04-19 14:34:16 +02:00 committed by GitHub
parent 20d736da86
commit 2a84076b33
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -178,7 +178,7 @@ class StatusUpdater
if ($max_runs == null || $max_runs > 1) { if ($max_runs == null || $max_runs > 1) {
$max_runs = 1; $max_runs = 1;
} }
$result = null; $result = null;
// Execute ping // Execute ping
$pingCommand = 'ping6'; $pingCommand = 'ping6';
$serverIp = $this->server['ip']; $serverIp = $this->server['ip'];