From 32c07dbaca62578e672c46d362ee8e3cc0d645d4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 19 Mar 2007 22:06:56 +0000 Subject: [PATCH] reset old-paramz global on exit to avoid retaining data svn: r5795 --- collects/mred/private/lock.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/mred/private/lock.ss b/collects/mred/private/lock.ss index 74e3d327de..43f8d2a6fb 100644 --- a/collects/mred/private/lock.ss +++ b/collects/mred/private/lock.ss @@ -72,6 +72,8 @@ f)))) (lambda () (set! monitor-owner #f) + (set! old-paramz #f) + (set! old-break-paramz #f) (semaphore-post monitor-sema) (wx:in-atomic-region #f)))) lock-tag))]))