private void openToolStripMenuItem_Click(object sender, EventArgs e) { OpenFileDialog ofd = new OpenFileDialog() { Filter = "All Log Files|*.log;*.log.*;*.log*.gz|Log Files (*.log)|*.log|Historical Log Files (*.log.*)|*.log.*|Compressed Log Files (*.log.gz)|*.log*.gz", Title = "Open Log File" }; if (ofd.ShowDialog() == DialogResult.OK) { if (Path.GetExtension(ofd.FileName) == ".gz") { this.m_logEvent = LogEvent.LoadGz(ofd.FileName); } else { this.m_logEvent = LogEvent.Load(ofd.FileName); } this.RefreshFile(); } }
/// <summary> /// Load plain text /// </summary> public static List <LogEvent> Load(String filename) { using (var sw = File.OpenText(filename)) return(LogEvent.Load(sw)); }
/// <summary> /// Load gzipped stream /// </summary> public static List <LogEvent> LoadGz(String filename) { using (var strm = new GZipStream(File.OpenRead(filename), CompressionMode.Decompress)) using (var sw = new StreamReader(strm)) return(LogEvent.Load(sw)); }