mirror of
https://github.com/zsh-users/zsh-autosuggestions.git
synced 2024-11-18 09:51:06 +01:00
Move check for MONITOR directly after fork
This should properly handle the edge case where the MONITOR option is changed between forking and killing.
This commit is contained in:
parent
b350b900ce
commit
6259d46d36
2 changed files with 20 additions and 24 deletions
|
@ -16,20 +16,9 @@ _zsh_autosuggest_async_request() {
|
||||||
|
|
||||||
# We won't know the pid unless the user has zsh/system module installed
|
# We won't know the pid unless the user has zsh/system module installed
|
||||||
if (( _ZSH_AUTOSUGGEST_CHILD_PID )); then
|
if (( _ZSH_AUTOSUGGEST_CHILD_PID )); then
|
||||||
# Zsh will make a new process group for the child process only if job
|
|
||||||
# control is enabled (MONITOR option)
|
|
||||||
if [[ -o MONITOR ]]; then
|
|
||||||
# Send the signal to the process group to kill any processes that may
|
|
||||||
# have been forked by the suggestion strategy
|
|
||||||
kill -TERM -$_ZSH_AUTOSUGGEST_CHILD_PID 2>/dev/null
|
|
||||||
else
|
|
||||||
# Kill just the child process since it wasn't placed in a new process
|
|
||||||
# group. If the suggestion strategy forked any child processes they may
|
|
||||||
# be orphaned and left behind.
|
|
||||||
kill -TERM $_ZSH_AUTOSUGGEST_CHILD_PID 2>/dev/null
|
kill -TERM $_ZSH_AUTOSUGGEST_CHILD_PID 2>/dev/null
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
fi
|
|
||||||
|
|
||||||
# Fork a process to fetch a suggestion and open a pipe to read from it
|
# Fork a process to fetch a suggestion and open a pipe to read from it
|
||||||
exec {_ZSH_AUTOSUGGEST_ASYNC_FD}< <(
|
exec {_ZSH_AUTOSUGGEST_ASYNC_FD}< <(
|
||||||
|
@ -50,6 +39,15 @@ _zsh_autosuggest_async_request() {
|
||||||
# Read the pid from the child process
|
# Read the pid from the child process
|
||||||
read _ZSH_AUTOSUGGEST_CHILD_PID <&$_ZSH_AUTOSUGGEST_ASYNC_FD
|
read _ZSH_AUTOSUGGEST_CHILD_PID <&$_ZSH_AUTOSUGGEST_ASYNC_FD
|
||||||
|
|
||||||
|
# Zsh will make a new process group for the child process only if job
|
||||||
|
# control is enabled (MONITOR option)
|
||||||
|
if [[ -o MONITOR ]]; then
|
||||||
|
# If we need to kill the background process in the future, we'll send
|
||||||
|
# SIGTERM to the process group to kill any processes that may have been
|
||||||
|
# forked by the suggestion strategy
|
||||||
|
_ZSH_AUTOSUGGEST_CHILD_PID=${_ZSH_AUTOSUGGEST_CHILD_PID:+-$_ZSH_AUTOSUGGEST_CHILD_PID}
|
||||||
|
fi
|
||||||
|
|
||||||
# When the fd is readable, call the response handler
|
# When the fd is readable, call the response handler
|
||||||
zle -F "$_ZSH_AUTOSUGGEST_ASYNC_FD" _zsh_autosuggest_async_response
|
zle -F "$_ZSH_AUTOSUGGEST_ASYNC_FD" _zsh_autosuggest_async_response
|
||||||
}
|
}
|
||||||
|
|
|
@ -771,20 +771,9 @@ _zsh_autosuggest_async_request() {
|
||||||
|
|
||||||
# We won't know the pid unless the user has zsh/system module installed
|
# We won't know the pid unless the user has zsh/system module installed
|
||||||
if (( _ZSH_AUTOSUGGEST_CHILD_PID )); then
|
if (( _ZSH_AUTOSUGGEST_CHILD_PID )); then
|
||||||
# Zsh will make a new process group for the child process only if job
|
|
||||||
# control is enabled (MONITOR option)
|
|
||||||
if [[ -o MONITOR ]]; then
|
|
||||||
# Send the signal to the process group to kill any processes that may
|
|
||||||
# have been forked by the suggestion strategy
|
|
||||||
kill -TERM -$_ZSH_AUTOSUGGEST_CHILD_PID 2>/dev/null
|
|
||||||
else
|
|
||||||
# Kill just the child process since it wasn't placed in a new process
|
|
||||||
# group. If the suggestion strategy forked any child processes they may
|
|
||||||
# be orphaned and left behind.
|
|
||||||
kill -TERM $_ZSH_AUTOSUGGEST_CHILD_PID 2>/dev/null
|
kill -TERM $_ZSH_AUTOSUGGEST_CHILD_PID 2>/dev/null
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
fi
|
|
||||||
|
|
||||||
# Fork a process to fetch a suggestion and open a pipe to read from it
|
# Fork a process to fetch a suggestion and open a pipe to read from it
|
||||||
exec {_ZSH_AUTOSUGGEST_ASYNC_FD}< <(
|
exec {_ZSH_AUTOSUGGEST_ASYNC_FD}< <(
|
||||||
|
@ -805,6 +794,15 @@ _zsh_autosuggest_async_request() {
|
||||||
# Read the pid from the child process
|
# Read the pid from the child process
|
||||||
read _ZSH_AUTOSUGGEST_CHILD_PID <&$_ZSH_AUTOSUGGEST_ASYNC_FD
|
read _ZSH_AUTOSUGGEST_CHILD_PID <&$_ZSH_AUTOSUGGEST_ASYNC_FD
|
||||||
|
|
||||||
|
# Zsh will make a new process group for the child process only if job
|
||||||
|
# control is enabled (MONITOR option)
|
||||||
|
if [[ -o MONITOR ]]; then
|
||||||
|
# If we need to kill the background process in the future, we'll send
|
||||||
|
# SIGTERM to the process group to kill any processes that may have been
|
||||||
|
# forked by the suggestion strategy
|
||||||
|
_ZSH_AUTOSUGGEST_CHILD_PID=${_ZSH_AUTOSUGGEST_CHILD_PID:+-$_ZSH_AUTOSUGGEST_CHILD_PID}
|
||||||
|
fi
|
||||||
|
|
||||||
# When the fd is readable, call the response handler
|
# When the fd is readable, call the response handler
|
||||||
zle -F "$_ZSH_AUTOSUGGEST_ASYNC_FD" _zsh_autosuggest_async_response
|
zle -F "$_ZSH_AUTOSUGGEST_ASYNC_FD" _zsh_autosuggest_async_response
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue