From 1435d6b511e0c61116f5788f89a009be283a25a1 Mon Sep 17 00:00:00 2001
From: craff <christophe@raffalli.eu>
Date: Tue, 6 Dec 2022 17:01:46 -1000
Subject: [PATCH] got problem with -x in run_test.sh ?

---
 examples/run_test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/run_test.sh b/examples/run_test.sh
index c70a6175..1e4568f6 100755
--- a/examples/run_test.sh
+++ b/examples/run_test.sh
@@ -11,7 +11,7 @@ sleep 0.1
 kill $PID
 echo "success"
 
-if [ -x ./sse_server_domains.exe ]; then
+if [ -f ./sse_server_domains.exe ]; then
   ./sse_server_domains.exe -p $PORT &
   PID=$!