From 24c41207216fddd6e356c2698ae0ed9a2128af7f Mon Sep 17 00:00:00 2001
From: George Vlahavas <vlahavas@gmail.com>
Date: Wed, 17 Mar 2021 21:08:24 +0200
Subject: [PATCH] Show header line

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

diff --git a/deploy.sh b/deploy.sh
index 979e105..3c1c26e 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -42,7 +42,7 @@ while true; do
     wc -l`
   if [ $res -gt 0 ]; then
     echo "ERROR: Some containers have exited."
-    docker ps -a | grep "/curex-local/kea_"
+    docker ps -a | grep "^CONTAINER\|/curex-local/kea_"
     dump_logs
     exit 1
   fi
-- 
2.2.2