tworu/dzgui
1
0 Fork 0
mirror of https://github.com/aclist/dztui.git synced 2026-10-31 15:12:48 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Fix unintended deletion

Browse Source
This commit is contained in:
Gergely Koloszar committed 2025-10-17 19:12:59 +02:00
1 parent 83552f833c
commit d6223e54b0
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
dzgui.sh
+1 -1
View File
@@ -534,7 +534,7 @@ local_latlon(){
echo "$res" > "$coords_file" echo "$res" > "$coords_file"
} }
lock lock(){
[[ ! -f $lock_file ]] && touch $lock_file [[ ! -f $lock_file ]] && touch $lock_file
local pid=$(cat $lock_file) local pid=$(cat $lock_file)
ps -p $pid -o pid= >/dev/null 2>&1 ps -p $pid -o pid= >/dev/null 2>&1