get_module() proved to be a duplicate of find_module(). Rev: server/base_server/configuration.pike:1.470 Rev: server/base_server/prototypes.pike:1.34