From 7925cfdbc291c95300dcb9b27bd271b28d36a46c Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Fri, 1 Jun 2018 18:44:48 +0100
Subject: [PATCH] Recommend a small sleep

---
 ping-service.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ping-service.sh b/ping-service.sh
index e79842e..0325788 100755
--- a/ping-service.sh
+++ b/ping-service.sh
@@ -6,7 +6,7 @@
 #
 # For example, to monitor racket-pkg-website, try
 #
-# ./ping-service.sh https://localhost:8444/ping 'touch .../signals/.dumpinfo; svc -du ...'
+# ./ping-service.sh https://localhost:8444/ping 'touch .../signals/.dumpinfo; sleep 10; svc -du ...'
 
 if [ "$#" != "2" ]
 then