devops: Lengthen default reply timeout.

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index bb4f647f1a9b1207293df0e5d687167ff06a6929..205638e80a4f83f1f5343e130d1f15c32100660c 100644 (file)
--- 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))