OPTIONS timeout of 5 seconds is way to short for some systems, so make it 30 instead.

diff --git a/extras/contrib/src/Patches/live.patch b/extras/contrib/src/Patches/live.patch
index 208db1bc11fc4527e54411cd9eb4eb866abb67f3..26ddcb4aa6ac3ce96d1bebda4e577a3b2fb2a25b 100644 (file)
--- a/extras/contrib/src/Patches/live.patch
+++ b/extras/contrib/src/Patches/live.patch
@@ -131,7 +131,7 @@ diff -ru live/groupsock/NetInterface.cpp live-patched/groupsock/NetInterface.cpp
    while (1) {
      unsigned char firstByte;
 -    if (readSocket(envir(), fInputSocketNum, &firstByte, 1, fromAddress)
-+    timeout.tv_sec = 5;
++    timeout.tv_sec = 30;
 +    timeout.tv_usec = 0;
 +    if (readSocket(envir(), fInputSocketNum, &firstByte, 1, fromAddress, &timeout)
        != 1) break;