scion.sh: do a more complete shutdown by default (#4382)

scionproto · Aug 28, 2023 · 8d95532 · 8d95532
1 parent d9acea4
commit 8d95532
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 11 deletions.
diff --git a/scion.sh b/scion.sh
@@ -11,14 +11,7 @@ cmd_bazel_remote() {
 
 cmd_topo_clean() {
     set -e
-    if is_docker_be; then
-        echo "Shutting down dockerized topology..."
-        ./tools/quiet ./tools/dc down || true
-    else
-        ./tools/quiet tools/supervisor.sh shutdown
-        run_teardown
-    fi
-    stop_jaeger
+    cmd_stop || true
     rm -rf traces/*
     mkdir -p logs traces gen gen-cache gen-certs
     find gen gen-cache gen-certs -mindepth 1 -maxdepth 1 -exec rm -r {} +
@@ -109,9 +102,9 @@ run_teardown() {
 cmd_stop() {
     echo "Terminating this run of the SCION infrastructure"
     if is_docker_be; then
-        ./tools/quiet ./tools/dc stop 'scion*'
+        ./tools/quiet ./tools/dc down
     else
-        ./tools/quiet tools/supervisor.sh stop all
+        ./tools/quiet tools/supervisor.sh shutdown
         run_teardown
     fi
     stop_jaeger

diff --git a/tools/dc b/tools/dc
@@ -59,7 +59,7 @@ cmd_stop() {
 }
 
 cmd_down() {
-    cmd_scion down -v
+    cmd_scion down -v --remove-orphans
 }
 
 cmd_run() {