diff options
| author | nicm <nicm> | 2019-03-18 09:46:42 +0000 |
|---|---|---|
| committer | nicm <nicm> | 2019-03-18 09:46:42 +0000 |
| commit | d2d43987d0f35af2bc012f1260fdb81c851fe390 (patch) | |
| tree | df9319c2fa30d1c044b924d497872f070fd14d10 /options.c | |
| parent | bd3332b21137ca7c1bd57b26df9482e72b0e909c (diff) | |
With force, kill previous job before starting new. Fixes problem
reported by Scott Mcdermott in GitHub issue 1627.
Diffstat (limited to 'options.c')
0 files changed, 0 insertions, 0 deletions