internal void RegisterFilter(string filter_file_name, DateTime filter_last_mtime) { mtime_cache [filter_file_name] = filter_last_mtime; }