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

fixing wrong is_resource call (introduced by 4a09d9ec22)

pull/116/head
Pepijn Over 2014-07-28 11:18:43 +02:00
parent 239ece7848
commit b79fbafe47
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -149,7 +149,7 @@ class StatusUpdater {
$status = ($fp === false) ? false : true; $status = ($fp === false) ? false : true;
$this->rtime = (microtime(true) - $starttime); $this->rtime = (microtime(true) - $starttime);
if(is_resource) { if(is_resource($fp)) {
fclose($fp); fclose($fp);
} }