Improve setup script error handling.

diff --git a/run.sh b/run.sh
index c8c78d245d411c9459592428bae7a8d6bffc02d4..da41d43552696cdf3a0f1162a24c3b92d0dcf5b4 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -12,5 +12,6 @@ pip install -r requirements.txt
 set +e
 echo
 python3 plomlombot.py "$@"
+set -e
 deactivate
 rm -rf $DIR_ENV