From ef2e9705395dc5c7fc8fb5c89df87332fc9a1cbf Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Mon, 18 Oct 2010 09:36:17 +0200 Subject: [PATCH] For DMdA, follow Robby's fix for htpd-langs.ss. Namely, don't set an uncaught-exception-handler. (cherry picked from commit 2a418b9cf0b8f7e2623d3987f92e9bb8d746dab9) --- collects/deinprogramm/deinprogramm-langs.rkt | 5 ----- 1 file changed, 5 deletions(-) diff --git a/collects/deinprogramm/deinprogramm-langs.rkt b/collects/deinprogramm/deinprogramm-langs.rkt index 8758535a8c..d3c653b435 100644 --- a/collects/deinprogramm/deinprogramm-langs.rkt +++ b/collects/deinprogramm/deinprogramm-langs.rkt @@ -191,11 +191,6 @@ ;; hack: the test-engine code knows about the test~object name; we do, too (namespace-set-variable-value! 'test~object (build-test-engine)) - (uncaught-exception-handler - (let ((previous (uncaught-exception-handler))) - (lambda (exc) - (display-results) - (previous exc)))) ;; record signature violations with the test engine (signature-violation-proc (lambda (obj signature message blame)