From 9d036f9ad5db47f8ed0ac66cb05dee6de31efafb Mon Sep 17 00:00:00 2001
From: pedro <git2021@cas.cat>
Date: Fri, 15 Mar 2024 09:23:19 +0100
Subject: [PATCH] web_cmd enable debug, fix touch

---
 web_cmd.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web_cmd.sh b/web_cmd.sh
index 1dfcfdb..37a6873 100755
--- a/web_cmd.sh
+++ b/web_cmd.sh
@@ -3,7 +3,7 @@
 set -e
 set -u
 # DEBUG
-#set -x
+set -x
 
 main() {
         cmd="${1}"
@@ -14,7 +14,7 @@ main() {
                 content="$(cat "${flock}")"
                 echo "web command already requested: ${content}"
         else
-                touch
+                touch "${flock}"
                 deployment="${deployment:-prod}"
                 echo "requested ${cmd}"
                 ${cmd} &