(*(Defaults.eInit ())*)
+val toplevel = Env.initialDynEnvVals Reduce.reduceExp
+
fun eval G evs fname =
case reduce G fname of
(G, SOME body') =>
raise ErrorMsg.Error
else
let
- val evs' = Eval.exec' evs body'
+ val evs' = Eval.exec' (toplevel G, evs) body'
in
(G, evs')
end
else
();
let val basis' = basis () in
- ignore (foldl checker' (basis', Env.initialDynEnvVals basis') files)
+ ignore (foldl checker' (basis', SM.empty) files)
end
end
else if String.isSuffix "_admin" user then
in
doIt (fn () => (Env.pre ();
let val basis' = basis () in
- ignore (foldl doOne (basis', Env.initialDynEnvVals basis') codes)
+ ignore (foldl doOne (basis', SM.empty) codes)
end;
Env.post ();
Msg.send (bio, MsgOk);
NONE => ("User tried to set SA filtering for " ^ addr,
SOME "You aren't allowed to configure SA filtering for that recipient.")
| SOME addr' => (SetSA.set (addr', b);
+ SetSA.rebuild ();
Msg.send (bio, MsgOk);
("Set SA filtering status for " ^ addr ^ " to "
^ (if b then "ON" else "OFF"),
Msg.send (bio, MsgOk)
else
Msg.send (bio, MsgError "userdb update failed"))
+ | MsgSaChanged => (if Slave.shell [Config.SpamAssassin.postReload] then
+ Msg.send (bio, MsgOk)
+ else
+ Msg.send (bio, MsgError "Error reloading SpamAssassin addresses"))
| _ => (print "Dispatcher sent unexpected command\n";
Msg.send (bio, MsgError "Unexpected command"))
in