Merge commit 'e181bc0653ae15ba5730a65b253d499bf22a31bf'

2021-12-05 09:28:30 +01:00 · 2021-12-05 09:28:30 +01:00 · 3380f7503e
parent a9f208c8fc e181bc0653
commit 3380f7503e
1 changed files with 1 additions and 1 deletions
--- a/gitstatus/gitstatus.plugin.zsh
+++ b/gitstatus/gitstatus.plugin.zsh
@ -458,7 +458,7 @@ function _gitstatus_daemon"${1:-}"() {
  (( lock_fd == -1 )) && return

  {
-    if zsystem flock -- $file_prefix.lock && [[ -e $file_prefix.lock ]]; then
+    if zsystem flock -- $file_prefix.lock && command sleep 5 && [[ -e $file_prefix.lock ]]; then
      zf_rm -f -- $file_prefix.lock $file_prefix.fifo
      kill -- -$pgid
    fi