Alternate fix for get_min_duration_for_reason exception

catalyst · Dec 5, 2023 · 13ecda3 · 13ecda3
1 parent 91e805b
commit 13ecda3
Showing 1 changed file with 17 additions and 7 deletions.
diff --git a/classes/web_processor.php b/classes/web_processor.php
@@ -74,17 +74,27 @@ public function init(manager $manager) {
         $this->profile->set('created', $this->sampleset->starttime);
 
         $manager->get_timer()->setCallback(function () use ($manager) {
-            $this->process($manager, false);
+            try {
+                $this->process($manager, false);
+            } catch (\dml_exception $e) {
+                // Ignore errors during processing.
+                debugging('tool_excimer: Timer callback failed: ' . $e->getMessage());
+            }
         });
 
         \core_shutdown_manager::register_function(
             function () use ($manager) {
-                $manager->get_timer()->stop();
-                $manager->get_profiler()->stop();
-
-                // Keep an approximate count of each profile.
-                $this->process($manager, true);
-                page_group::record_fuzzy_counts($this->profile);
+                try {
+                    $manager->get_timer()->stop();
+                    $manager->get_profiler()->stop();
+
+                    // Keep an approximate count of each profile.
+                    $this->process($manager, true);
+                    page_group::record_fuzzy_counts($this->profile);
+                } catch (\dml_exception $e) {
+                    // Ignore errors during processing.
+                    debugging('tool_excimer: Shutdown callback failed: ' . $e->getMessage());
+                }
             }
         );
     }