if (name.equalsIgnoreCase("inbox")) return inbox;
if (name.equalsIgnoreCase("trash")) name = "trash";
MailTree mt = mailboxTree(name, create, throwexn);
- /* FIXME: throw throwexn here
- if (mt==null || mt.getMailbox()==null)
- Log.error("mt==null", name);
- */
- return mt==null ? null : mt.getMailbox();
+ Mailbox ret = mt==null ? null : mt.getMailbox();
+ if (ret==null && throwexn) throw new Server.No("no such mailbox " + name);
+ return ret;
}
private MailTree mailboxTree(String name, boolean create) { return mailboxTree(name, create, true); }
private MailTree mailboxTree(String name, boolean create, boolean throwexn) {