Implement DISCARD-FOLDER-CACHE for file folders.

diff --git a/v7/src/imail/imail-file.scm b/v7/src/imail/imail-file.scm
index e299458963ffa65a6ccb0622e6dbb69d44fd0527..3284969966a85cd2d4004534bc14f8eed6ae47e5 100644 (file)
--- a/v7/src/imail/imail-file.scm
+++ b/v7/src/imail/imail-file.scm
@@ -1,6 +1,6 @@
 ;;; -*-Scheme-*-
 ;;;
-;;; $Id: imail-file.scm,v 1.19 2000/05/08 19:02:58 cph Exp $
+;;; $Id: imail-file.scm,v 1.20 2000/05/10 17:27:55 cph Exp $
 ;;;
 ;;; Copyright (c) 1999-2000 Massachusetts Institute of Technology
 ;;;
@@ -201,4 +201,7 @@
              (set-file-folder-file-modification-count!
               folder
               (folder-modification-count folder)))
-           (loop))))))
\ No newline at end of file
+           (loop))))))
+
+(define-method discard-folder-cache ((folder <file-folder>))
+  (close-folder folder))
\ No newline at end of file