diff options
| author |   Peter Mikus <pmikus@cisco.com> | 2017-12-30 18:57:31 +0000 |
|---|---|---|
| committer | Peter Mikus <pmikus@cisco.com> | 2018-01-02 13:49:08 +0000 |
| commit | d7cf0a829cc9cc63799330b673c8c42393de2655 (patch) | |
| tree | 524501bfa7ca9a629727122fb206cfe1e47efd0f /resources/libraries/bash | |
| parent | 4b3fdf525d7158ce9c6bb2827dba3025a192f9a1 (diff) | |
FIX: Force kill QEMU in case of failed initialization
Change-Id: Ib9c243b1bd379cf33a2b7747b7f97a8533000d60
Signed-off-by: Peter Mikus <pmikus@cisco.com>
Diffstat (limited to 'resources/libraries/bash')
0 files changed, 0 insertions, 0 deletions