Added real-time logging for the sbfs/crawl-file event, using $request-time. Rev: server/base_server/configuration.pike:1.627