From a2f5024053266cfc61bb936dc7104530358367f3 Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Wed, 13 Sep 2017 00:42:41 -0700
Subject: [PATCH] devops: Lengthen default reply timeout.

---
 src/devops/devops.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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))
-- 
2.25.1