diff options
| author |   Tomi Juvonen <tomi.juvonen@nokia.com> | 2018-02-13 08:32:43 +0200 |
|---|---|---|
| committer | Tomi Juvonen <tomi.juvonen@nokia.com> | 2018-02-14 08:50:56 +0200 |
| commit | 0974556b87007373dfbfa3efa0c7659b5ce88abe (patch) | |
| tree | 4a5637c5a577f8ec6c128340b444b55cabd6c591 /devstack/plugin.sh | |
| parent | 888af5e40c21c1cef22e968c076908f1601c53f2 (diff) | |
Add process group so can kill possible hanging subprocesses.
This should be workaround before actual fix is done.
JIRA: DOCTOR-123
Change-Id: I70fd4ed9d2aa2cc3a6c46e2515062b7acd31ca0a
Signed-off-by: Tomi Juvonen <tomi.juvonen@nokia.com>
Diffstat (limited to 'devstack/plugin.sh')
0 files changed, 0 insertions, 0 deletions