From 63d465f11417a5b6f1a2cccdccd2e38a90df2813 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 3 Mar 2011 13:42:30 -0700 Subject: [PATCH] SirMail: grepable message-index file format --- collects/sirmail/readr.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/sirmail/readr.rkt b/collects/sirmail/readr.rkt index 81872e23f6..df8efd1bb4 100644 --- a/collects/sirmail/readr.rkt +++ b/collects/sirmail/readr.rkt @@ -202,7 +202,12 @@ (status "Saving mailbox information...") (with-output-to-file (build-path mailbox-dir "mailbox") (lambda () - (write (cons uid-validity (map vector->list mailbox)))) + (printf "(\n") + (for-each (lambda (l) + (write l) + (newline)) + (cons uid-validity (map vector->list mailbox))) + (printf ")\n")) 'truncate)) ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;