public static void SaveEnvironment()
{
string fd = ContextGlobal.serialize();
//DataFileUtils.savefile(fd, "context.txt");
DataFileUtils.savefileZipped(fd, "context.zip");
// DataFileUtils.savefileZipped(fd, "context "+DateTime.Now.Ticks.ToString() + ".zip");
File.Copy("context.zip", "context " + DateTime.Now.Ticks.ToString() + ".zip");
//DataFileUtils.savefile(fd, "context" + DateTime.Now.Ticks.ToString() + ".txt");
System.Media.SystemSounds.Asterisk.Play();
}
public static void SaveEnvironment(bool guiExit)
{
if (guiExit)
{
CompressWords();
}
string fd = ContextGlobal.serialize();
DataFileUtils.savefileZipped(fd, "context.zip");
File.Copy("context.zip", "context " + DateTime.Now.Ticks.ToString() + ".zip");
System.Media.SystemSounds.Asterisk.Play();
}