diff --git a/weave b/weave index ab269d76..04e14be2 100755 --- a/weave +++ b/weave @@ -1713,8 +1713,12 @@ plugin_disabled() { [ -n "$WEAVE_NO_PLUGIN" ] || ! check_docker_server_api_version 1.21 } +warn_plugin_active() { + echo "WARNING: docker may hang in this state; re-launch weave and remove attached containers before shutting down" >&2 +} + stop_plugin() { - util_op remove-plugin-network weave + util_op remove-plugin-network weave || warn_plugin_active stop $PLUGIN_CONTAINER_NAME "Plugin" } @@ -2150,8 +2154,7 @@ EOF ;; reset) [ $# -eq 0 ] || usage - plugin_disabled || util_op remove-plugin-network weave || \ - echo "WARNING: docker may hang in this state; re-launch weave and remove attached containers before shutting down" >&2 + plugin_disabled || util_op remove-plugin-network weave || warn_plugin_active warn_if_stopping_proxy_in_env call_weave DELETE /peer >/dev/null 2>&1 || true for NAME in $PLUGIN_CONTAINER_NAME $CONTAINER_NAME $PROXY_CONTAINER_NAME ; do