commit 4062a34f832bad582f846e87db4fa8783802ae48
author Patrick Rhomberg <prhomberg@pivotal.io> Fri Mar 02 15:51:39 2018 -0800
committer Patrick Rhomberg <prhomberg@pivotal.io> Fri Mar 02 15:51:41 2018 -0800
tree 7114fdf6865c6c931b9837446c51f1c26bcd7a3a
parent be8bdc3887a27fc0850017f289cbb5ccc49642e8

More poking Travis.

build.gradle

diff --git a/build.gradle b/build.gradle
index d7acd90..167b969 100644
--- a/build.gradle
+++ b/build.gradle
@@ -107,7 +107,8 @@
     commandLine 'sh', '-c', "" +
             "TIMEOUT=10 ;" +
             "echo \"Waiting at most \$TIMEOUT seconds for all members to shut down...\" ;" +
-            "while pgrep -f \"(Server|Locator)Launcher\" > /dev/null ; do  printf \".\" ; " +
+            "while pgrep -f \"(Server|Locator)Launcher\" > /dev/null ; do" +
+            "  echo \"Waiting at most \${TIMEOUT} seconds...\" ; " +
             "  sleep 1 ;" +
             "  TIMEOUT=\$((\$TIMEOUT - 1)) ;" +
             "  if [ \$TIMEOUT -eq 0 ] ; then" +