/// <summary>Erase the complete database. The database must be closed before this call.</summary>
public static void drop()
{
string[] files = FindFiles.EnumerateAll(databasePath).ToArray();
foreach (string f in files)
{
File.Delete(f);
}
}
