Update kill-all-encoders.sh