suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixed the way preference file restoration works in the case that there is no preferences file to start with

Browse Source 
original commit: 155cc4ac052c139049cb3031e648d2ebe89586c7
This commit is contained in:
Robby Findler 2010-05-08 16:22:56 -05:00
parent edff96857f
commit bed184b62f
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/tests/framework/main.rkt
View File

@ -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)