diff options
Diffstat (limited to 'resources/libraries/bash/dut_setup.sh')
-rw-r--r-- | resources/libraries/bash/dut_setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/libraries/bash/dut_setup.sh b/resources/libraries/bash/dut_setup.sh index 28b495c3fa..aee6386bd7 100644 --- a/resources/libraries/bash/dut_setup.sh +++ b/resources/libraries/bash/dut_setup.sh @@ -33,7 +33,7 @@ cmd 'ps aux | grep vpp' cmd 'cat /etc/vpp/startup.conf' -cmd 'sudo -S service vpp restart' +cmd 'if fgrep docker /proc/1/cgroup; then supervisorctl restart vpp; else sudo -S service vpp restart; fi' echo "[Command_desc] SLEEP for three seconds, so that VPP is up for sure" cmd 'sleep 3' |