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

Added timeout to services 

Fixes #775.
pull/668/head
TimZ99 2019-09-25 23:35:37 +02:00
parent 8342a979aa
commit 4ebe934b2e
No known key found for this signature in database
GPG Key ID: 4D8268DC68E8339D
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

@ -215,7 +215,7 @@ class StatusUpdater {
// save response time // save response time
$starttime = microtime(true); $starttime = microtime(true);
$fp = @fsockopen($this->server['ip'], $this->server['port'], $errno, $this->error, 10); $fp = @fsockopen($this->server['ip'], $this->server['port'], $errno, $this->error, $this->server['timeout']);
$status = ($fp === false) ? false : true; $status = ($fp === false) ? false : true;
$this->rtime = (microtime(true) - $starttime); $this->rtime = (microtime(true) - $starttime);