Fix unintended deletion

2026-08-31 12:16:55 +02:00 · 2025-10-16 20:53:14 +02:00 · 2025-10-16 20:53:14 +02:00 · 0ad6366f0a
commit 0ad6366f0a
parent a7c647aa6b
1 changed files with 1 additions and 1 deletions
--- a/dzgui.sh
+++ b/dzgui.sh
@ -536,7 +536,7 @@ local_latlon(){
    echo "$res" > "$coords_file"
 }

-lock
+lock(){
    [[ ! -f $lock_file ]] && touch $lock_file
    local pid=$(cat $lock_file)
    ps -p $pid -o pid= >/dev/null 2>&1