Dan Stillman 302f0105bf Fixes #311, after deleting database, no new database is created ... Well that probably would've been mildly frustrating for new users.		2006-09-20 02:15:49 +00:00
..
scholar	Fixes #311, after deleting database, no new database is created	2006-09-20 02:15:49 +00:00