Fix kill workflow script.
Merge pull request #4230 from HassenRiahi/FixKillScript

Fix kill workflow script.