Don't care if the kill fails

This commit is contained in:
Tony Garnock-Jones 2022-03-02 16:36:49 +01:00
parent 60b3562cb0
commit ac3ea15297
1 changed files with 1 additions and 1 deletions

View File

@ -40,6 +40,6 @@
; So instead we kill the qmicli program with a signal, which *does* trigger the supervisor
; in the right way.
let ?pid = stringify $pid
$config ! <exec ["kill", "-INT", $pid]>
$config ! <exec ["kill", "-INT", $pid] never>
]
]