internal static void save(bool debug = false)
{
if (mustBeSaved)
{
var dfa = Directory.GetFiles(bot.wai, df, SearchOption.TopDirectoryOnly);
if (dfa.Length > 0)
dfa[0].toZip(df);
var fmt = Formatting.None;
if (debug)
fmt = Formatting.Indented;
File.WriteAllText(Path.Combine(bot.wai, df), JsonConvert.SerializeObject(dumps, fmt));
}
}
internal static void toZip(this string f, string n)
{
var z = (new StringBuilder(f))
.Append('.')
.Append(DateTime.Now.ToString("yyyyMMdd-HHmmss"))
.Append(".zip")
.ToString();
using (var zip = ZipFile.Open(z, ZipArchiveMode.Create))
zip.CreateEntryFromFile(f, n);
}