tree 12bb096fbe8a31f1387f6438ee3c65525cc22377
parent d74dc84b92ab5e7f091b54c38b01fcf568a479b9
author peusterm <manuel.peuster@uni-paderborn.de> 1518000671 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1518000671 +0100

Fixes Docker installation of --vimemu installer.

Fixes two issues recently reported on OSM_TECH.
1. Docker permission issue.
2. Docker internet access issue. Solved by enforcing a
docker service restart.

Change-Id: Ic297bfa2db02eae676c03127c09f291f55b736fd
Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>