1
0
mirror of https://github.com/docker/docs.git synced 2026-11-05 00:14:17 +03:00

FIX #2190 no need killing docker-machine processes

Signed-off-by: David Gageot <david@gageot.net>
This commit is contained in:
David Gageot
2015-11-18 16:27:13 +01:00
parent 93f94d9521
commit f0740fe8ad

View File

@@ -85,11 +85,4 @@ if [[ -d "$MACHINE_STORAGE_PATH" ]]; then
rm -r "$MACHINE_STORAGE_PATH"
fi
set +e
pkill docker-machine
if [[ $? -eq 0 ]]; then
EXIT_STATUS=1
fi
set -e
exit ${EXIT_STATUS}