From ee953eef09cc090dc98a09038ab97be55875a2a5 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Mon, 18 Dec 2023 22:22:11 +0000
Subject: [PATCH] Update stop names
---
proxy_common.php | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/proxy_common.php b/proxy_common.php
index a2b7c59..0b06acb 100644
--- a/proxy_common.php
+++ b/proxy_common.php
@@ -107,6 +107,7 @@
$parameters[$name] = $_GET[$name];
}
+ini_set('default_socket_timeout', 5);
$result = @file_get_contents($base_proxy . $path . '?' . http_build_query($parameters));
if(!$result OR substr($http_response_header[0], 0, 13) != 'HTTP/1.1 200 ') {
header('HTTP/1.1 503 Service Unavailable');
--
Gitblit v1.9.1