From 287683ddc28287bb95a3e983cb484d61572f11b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ole=20Sch=C3=BCtt?= <ole.schuett@cp2k.org>
Date: Fri, 16 Aug 2019 22:22:36 +0200
Subject: [PATCH] Docker: Check for unraisable exception in test_ase.sh

---
 tools/docker/scripts/test_ase.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tools/docker/scripts/test_ase.sh b/tools/docker/scripts/test_ase.sh
index 59655ec0c1..9f7b603f34 100755
--- a/tools/docker/scripts/test_ase.sh
+++ b/tools/docker/scripts/test_ase.sh
@@ -34,7 +34,10 @@ set -e # abort if error is encountered
 for i in ./ase/test/cp2k/cp2k_*.py
 do
   echo "Running $i ..."
-  python3 "$i"
+  python3 "$i" |& tee "/tmp/test_ase.out"
+  if grep "Exception ignored" "/tmp/test_ase.out" ; then
+    exit 1  # Found unraisable exception, e.g. in __del__.
+  fi
 done
 )