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/how-to-use-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/how-to-use-docs')
0 files changed, 0 insertions, 0 deletions