From 54c790c28886bfba27c17e2eea75f38e025a2ede Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Thu, 10 Aug 2017 23:47:27 +0200 Subject: [PATCH] port: Don't destroy if it could not be shut down Signed-off-by: Michael Tremer --- src/functions/functions.ports | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/functions/functions.ports b/src/functions/functions.ports index f9b31f3f..af3f5f06 100644 --- a/src/functions/functions.ports +++ b/src/functions/functions.ports @@ -194,7 +194,10 @@ port_destroy() { fi done - port_remove "${port}" + # Shut down the port before destroying it + if ! port_remove "${port}"; then + return ${EXIT_ERROR} + fi rm -rf $(port_dir ${port}) } -- 2.47.3