EnableMailRetrieval:
PROC[
opsHandle: WalnutDefs.WalnutOpsHandle,
registeredUsers:
LIST
OF MailUtils.Credentials,
reportProc, progressProc: WalnutDefs.CheckReportProc,
getMailLog:
PROC[opsHandle: WalnutDefs.WalnutOpsHandle]
RETURNS[
IO.
STREAM],
recordMailInfo:
PROC[opsHandle: WalnutDefs.WalnutOpsHandle, logLen:
INT, server:
ROPE, num:
INT]
RETURNS[
BOOL],
notifyWhenMailRetrieved:
PROC[opsHandle: WalnutDefs.WalnutOpsHandle, ok:
BOOL, someMail:
BOOL] ¬
NIL
];
enables mail retrieval for registeredUsers; if the newMailLog is unavailable, nothing is done - it will be tried again later