From cf7e54bb9fba183e9047a2d63009bbff2202e899 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Sat, 24 Nov 2012 07:43:58 -0700 Subject: [PATCH] Set a maximum timeout for all tests in DrDr --- collects/meta/drdr/plt-build.rkt | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/collects/meta/drdr/plt-build.rkt b/collects/meta/drdr/plt-build.rkt index 4e2c6be73d..18bda49203 100644 --- a/collects/meta/drdr/plt-build.rkt +++ b/collects/meta/drdr/plt-build.rkt @@ -329,13 +329,20 @@ (list "-t" (path->string* (build-path (drdr-directory) "set-browser.rkt")))) - ;; And go + ;; And go (define top-sema (make-semaphore 0)) (notify! "Starting testing") (when (directory-exists? collects-pth) (test-directory collects-pth top-sema) (notify! "All testing scheduled... waiting for completion") - (semaphore-wait top-sema)) + (sync + top-sema + (handle-evt + (alarm-evt + (+ (current-inexact-milliseconds) + (* 1000 (* 2 (current-make-install-timeout-seconds))))) + (λ _ + (kill-thread (current-thread)))))) (notify! "Stopping testing") (stop-job-queue! test-workers) (stop-job-queue! gui-workers))