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