From 608d79eb9a8e39107ce11ca680ece02dcb1c290e Mon Sep 17 00:00:00 2001
From: Rick Carback <rick@privategrity.com>
Date: Thu, 17 Oct 2019 19:53:28 +0000
Subject: [PATCH] Give smokeinfra a bit more time to run on the build servers
---
smokeinfra/run.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/smokeinfra/run.sh b/smokeinfra/run.sh
index 77d5c54..392f788 100755
--- a/smokeinfra/run.sh
+++ b/smokeinfra/run.sh
@@ -50,7 +50,7 @@ finish() {
trap finish EXIT
trap finish INT
-sleep 5
+sleep 15
echo "STOPPING SERVERS AND GATEWAYS..."
# NOTE: jobs -p doesn't work in a signal handler
--
GitLab