private void compactToolStripMenuItem_Click(object sender, EventArgs e)
{
theDatabase.Compact(new Result()).WhenDone(
a =>
{
if (a.HasException)
{
Console.WriteLine("### A problem occured while compacting the data, please contact ###\n" + a.Exception);
}
else
{
Console.WriteLine("Compact started");
}
}
);
}