actually bomb out if the control panel does

diff --git a/jpctb b/jpctb
index ee1482ab97c0cffbac76e3d348abe7e2b0843c71..c4f2b6e6a241035ebc7f891765b2e5269676af50 100755 (executable)
--- a/jpctb
+++ b/jpctb
@@ -154,7 +154,7 @@ set -e
 case $rc in
 0)     echo "launcher dialogue closed, quitting"; exit 0 ;;
 12)    ;;
-*)     echo >&2 "control panel failed with exit status $rc" ;;
+*)     echo >&2 "control panel failed with exit status $rc"; exit "$rc" ;;
 esac