The stat array isn't longer than this, whether you like it or not. Sometimes size does matter. :-) Rev: server/base_server/configuration.pike:1.254