From 9a6bd548261d73cd978bcef87d62dca0b47e9907 Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Thu, 16 Jun 2022 19:27:31 -0500 Subject: [PATCH] Update run.sh --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index 07f8c4e..fff2882 100755 --- a/run.sh +++ b/run.sh @@ -5,7 +5,7 @@ source /opt/idssys/defaults/colors.inc if [ -f /opt/mm.checking ]; then fd=$(( `date +%s` - `stat -L --format %Y /opt/mm.checking` )) - if [ ${fd} -gt 300 ]; then + if [ ${fd} -gt 60 ]; then rm -f /opt/mm.checking else echo -e "${idsCL[LightCyan]}Try again later, 'mm' program currently in use...${idsCL[Default]}"