stop netldi along with stone

hpi-swa · Oct 29, 2023 · 9036daa · 9036daa
1 parent a868ae5
commit 9036daa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gemstone/run.sh b/gemstone/run.sh
@@ -218,8 +218,8 @@ gemstone::test_project() {
 	popd
 
 	if [ "$STONE_STARTED" = "TRUE" ] ; then
-    fold_start stop_stone "Stopping stone..."
-      stopStone.solo -r $STONES_REGISTRY_NAME "${STONE_NAME}" 
+    fold_start stop_stone "Stopping stone and netldi..."
+      stopStone.solo -r $STONES_REGISTRY_NAME "${STONE_NAME}" -b  $GEMSTONE_DEBUG
     fold_end stop_stone
 	fi