private void Cmd_Dump(object sender, CommandEventArgs e)
{
if(e.Args.Length != 2)
{
idConsole.WriteLine("usage: conDump <filename>");
}
else
{
string fileName = e.Args.Get(1);
if(Path.HasExtension(fileName) == false)
{
fileName += ".txt";
}
Dump(fileName);
idConsole.WriteLine("Dumped console text to {0}.", fileName);
}
}
#endregion