commit | d2d43987d0f35af2bc012f1260fdb81c851fe390 | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Mar 18 09:46:42 2019 +0000 |
committer | nicm <nicm> | Mon Mar 18 09:46:42 2019 +0000 |
tree | df9319c2fa30d1c044b924d497872f070fd14d10 | |
parent | bd3332b21137ca7c1bd57b26df9482e72b0e909c [diff] |
With force, kill previous job before starting new. Fixes problem reported by Scott Mcdermott in GitHub issue 1627.