}
}
try {
tmpEmailConn.currentFolder.getFolder().setFlags(msgnumbers,
new Flags(Flags.Flag.DELETED),false);
} catch (MessagingException e) {
handleFatalError(hr,"Deleting messages", e);
return;
}
} else if ("deletemsg".equals(hr.get("action"))) {
/* Mark the msgnum(s) as deleted */
msgNum = hr.get("msgnum");
msglist = new StringTokenizer(msgNum,", ");
msgnumbers = new int[msglist.countTokens()];
hr.request.log(Server.LOG_DIAGNOSTIC,connHandle,"Messages to delete: " + msgNum);
while (msglist.hasMoreTokens()) {
try {
msgnumbers[i] = Integer.parseInt(msglist.nextToken());
i++;
} catch (NumberFormatException e) {
/* Just skip this particular token */
continue;
}
}
try {
tmpEmailConn.currentFolder.getFolder().setFlags(msgnumbers,
new Flags(Flags.Flag.DELETED),true);
} catch (MessagingException e) {
handleFatalError(hr,"Deleting messages", e);
return;
}
} else if ("refilemsg".equals(hr.get("action"))) {