Merge pull request #1978 from annando/1510-bad-servers

Workaround for bad configured servers
This commit is contained in:
Tobias Diekershoff 2015-10-25 16:52:10 +01:00
commit 4e78d439e2

View file

@ -748,8 +748,11 @@ function poco_check_server($server_url, $network = "", $force = false) {
} }
if (!$serverret["success"] OR ($serverret["body"] == "") OR (sizeof($xmlobj) == 0) OR !is_object($xmlobj)) { 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") {
$last_failure = datetime_convert(); $last_failure = datetime_convert();
$failure = true; $failure = true;
}
} elseif ($network == NETWORK_DIASPORA) } elseif ($network == NETWORK_DIASPORA)
$last_contact = datetime_convert(); $last_contact = datetime_convert();