diff options
| author |   Tomi Juvonen <tomi.juvonen@nokia.com> | 2018-02-13 08:32:43 +0200 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@opnfv.org> | 2018-02-14 07:00:50 +0000 |
| commit | 996ada438e53d8c5188bf30a6a468f357f4f5cbd (patch) | |
| tree | 9c003525a75a7f55356ba621f44f31529f41e8d1 /docs | |
| parent | 03348c61727153fe8aaee4c7a7a7889646775ab8 (diff) | |
Update git submodules
* Update docs/submodules/doctor from branch 'master'
- 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 'docs')
| m--------- | docs/submodules/doctor | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/doctor b/docs/submodules/doctor -Subproject 888af5e40c21c1cef22e968c076908f1601c53f +Subproject 0974556b87007373dfbfa3efa0c7659b5ce88ab |