void ProcessSaveCommand(string command)
{
string[] args = command.Split(SEPARATOR_SPACE, System.StringSplitOptions.RemoveEmptyEntries);
if (args.Length >= 2)
{
string saveFilename = args [1];
if (!string.IsNullOrEmpty(saveFilename))
{
env.saveFilename = args [1];
}
}
env.SaveGameBinary();
}
