Making resource bounds the default instead of timeouts (#949)

marcoeilers · AndreaKe · commit 2d29e6e7d347 · 2025-11-28T08:27:25.000+01:00
(cherry picked from commit a8e5d1d60bb6db8fe428f598e2fc7723d4d7c2ec)
diff --git a/viperserver b/viperserver
@@ -1 +1 @@
-Subproject commit 64fbf7365db6b6d53914fc0a348442e0e8ca82bc
+Subproject commit 56bda86b297e7e2ec9af92a83b59efe2c6b0a8d0
