Use exec so that signals reach the actual process

pull/55/head
Craeckie 4 years ago committed by GitHub
parent a9e5778a82
commit 3964456379
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -119,7 +119,7 @@ exec_cmd()
{ {
case $EXEC_CMD in case $EXEC_CMD in
as_install_user) su -s /bin/sh -c '"$0" "$@"' "$INSTALLUSER" -- "$@" ;; as_install_user) su -s /bin/sh -c '"$0" "$@"' "$INSTALLUSER" -- "$@" ;;
as_current_user) "$@" ;; as_current_user) exec "$@" ;;
esac esac
} }
exec_erl() exec_erl()

Loading…
Cancel
Save