made preference save/restore in pref.ss also be an admin-level printf

svn: r9747
This commit is contained in:
Eli Barzilay 2008-05-08 17:30:06 +00:00
parent 940cb2e6eb
commit 9561e94bd6
2 changed files with 7 additions and 5 deletions

View File

@ -21,7 +21,8 @@
(when (file-exists? prefs-file)
(copy-file prefs-file saved-prefs-file)
(delete-file prefs-file)
(printf "saved preferences file from ~s to ~s\n" prefs-file saved-prefs-file))
(debug-printf admin "saved preferences file from ~s to ~s\n"
prefs-file saved-prefs-file))
(shutdown-mred)
@ -103,7 +104,8 @@
'passed))))))
(when (file-exists? saved-prefs-file)
(printf "restoring preferences file from ~s to ~s\n" saved-prefs-file prefs-file)
(debug-printf admin "restoring preferences file from ~s to ~s\n"
saved-prefs-file prefs-file)
(when (file-exists? prefs-file)
(delete-file prefs-file))
(copy-file saved-prefs-file prefs-file)

View File

@ -30,7 +30,8 @@
reset-section-name!
set-section-name!
set-only-these-tests!
get-only-these-tests)
get-only-these-tests
debug-printf)
(define section-jump void)
(define (set-section-jump! _s) (set! section-jump _s))
@ -151,7 +152,6 @@
(let/ec k
(let ([show-text
(lambda (sexp)
(debug-when messages
(parameterize ([pretty-print-print-line
(let ([prompt " "]