Changed server detection.

pull/3216/head
Michael 2017-02-10 19:23:46 +00:00
rodzic 95bb8d38e8
commit f5a634abbc
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -765,7 +765,7 @@ function poco_check_server($server_url, $network = "", $force = false) {
if (!$serverret["success"] OR ($serverret["body"] == "") OR (sizeof($xmlobj) == 0) OR !is_object($xmlobj)) {
// Workaround for bad configured servers (known nginx problem)
if ($serverret["debug"]["http_code"] != "403") {
if (!in_array($serverret["debug"]["http_code"], array("403", "404"))) {
$last_failure = datetime_convert();
$failure = true;
}