More robustness in examine_return_mapping which is used by the request trace. Rev: server/base_server/configuration.pike:1.543