On 9 Feb 1998 14:37:30 -0500 Tim Showalter
<tjs+(_at_)andrew(_dot_)cmu(_dot_)edu> wrote:
Date: Mon, 09 Feb 1998 14:13:58 -0500
From: "Jack De Winter" <jack(_at_)wildbear(_dot_)on(_dot_)ca>
In 4.2, there is a specification for FileInto, and
it shows that "INBOX.harassment" is the folder.
1) What should happen if "INBOX.harassment" does not exist?
The script shouldn't run, in my opinion. This can be checked for before
running the script.
But you still have to deal with the case where the folder goes away
after the script has been installed. If this happens the message should
file into the default mailbox. (Possibly with some sort of diagnostic?)
--lyndon