Implemented better timing for requests using gethrtime(). The log variable $request-time is now pretty acurate. Rev: server/base_server/prototypes.pike:1.183 Rev: server/base_server/roxen.pike:1.936 Rev: server/protocols/http.pike:1.506