Some more API changes. Rev: server/base_server/module.pike:1.154 Rev: server/base_server/prototypes.pike:1.72