From 155cc4ac052c139049cb3031e648d2ebe89586c7 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 8 May 2010 16:22:56 -0500 Subject: [PATCH] fixed the way preference file restoration works in the case that there is no preferences file to start with --- collects/tests/framework/main.rkt | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/collects/tests/framework/main.rkt b/collects/tests/framework/main.rkt index 0f6c45696b..d94f3a78dc 100644 --- a/collects/tests/framework/main.rkt +++ b/collects/tests/framework/main.rkt @@ -91,15 +91,13 @@ (reset-section-jump!))))) files-to-process) -(debug-printf admin " restoring preferences file ~s to ~s\n" - old-preferences-file preferences-file) -(when (file-exists? preferences-file) - (unless (file-exists? old-preferences-file) - (error 'framework-test "lost preferences file backup!")) +(when (file-exists? old-preferences-file) + (debug-printf admin " restoring preferences file ~s to ~s\n" + old-preferences-file preferences-file) (delete-file preferences-file) (copy-file old-preferences-file preferences-file) - (delete-file old-preferences-file)) -(debug-printf admin " restored preferences file\n") + (delete-file old-preferences-file) + (debug-printf admin " restored preferences file\n")) (shutdown-listener)