log_function is not private anymore since config_actions/problems.pike needs to read it. Thanks to Wilhelm Koehler <wk@cs.tu-berlin.de>. Rev: server/base_server/configuration.pike:1.124