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));
}
