From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Wed, 13 Sep 2017 07:42:41 +0000 (-0700)
Subject: devops: Lengthen default reply timeout.
X-Git-Tag: mit-scheme-pucked-9.2.12~65
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=a2f5024053266cfc61bb936dc7104530358367f3;p=mit-scheme.git

devops: Lengthen default reply timeout.
---

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index bb4f647f1..205638e80 100644
--- a/src/devops/devops.scm
+++ b/src/devops/devops.scm
@@ -409,10 +409,12 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
 
 (define build-dir "devops")
 
+(define reply-wait 10000)
+
 (define (read-reply query i/o)
   (write-line `(write-line ,query) i/o)
   (flush-output-port i/o)
-  (let ((object (read-until 3000 i/o)))
+  (let ((object (read-until reply-wait i/o)))
     (if (eq? object 'timeout)
 	(error "Timeout awaiting reply."))
     object))