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

add error message for missing/invalid header

pull/1017/head
Michael Telgkamp 2020-09-11 10:43:12 +02:00
parent aad1a1eda7
commit a7709cbbd1
No known key found for this signature in database
GPG Key ID: D56A6B18219D5263
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -345,6 +345,9 @@ class StatusUpdater
if (!$header_flag) { if (!$header_flag) {
// Header was not present // Header was not present
$result = false; $result = false;
$this->error =
'HEADER ERROR : Header "' . $this->server['header_name'] .
'" not found or does not match "/' . $this->server['header_value'] . '/i".';
} }
} }
} }
@ -447,7 +450,7 @@ class StatusUpdater
socket_send($socket, $package, strLen($package), 0); socket_send($socket, $package, strLen($package), 0);
// socket_read returns a string or false // socket_read returns a string or false
$status = socket_read($socket, 255) !== false ? true : false; $status = socket_read($socket, 255) !== false ? true : false;
if ($status) { if ($status) {
$this->header = "Success."; $this->header = "Success.";
} else { } else {