public DatabaseConnection(DatabaseConnectionCommissioner c) { connection_commissioner = c; }
static public Database Connect(DatabaseConnectionCommissioner c) { return(Connect(new DatabaseConnection(c))); }