DeleteDbFiles

Deletes all files belonging to a database.
The database must be closed before calling this tool.

Methods
static void execute(String dir, String db, boolean quiet)
Deletes the database files.
static void execute(String dir, String db, boolean quiet)
Deletes the database files.
Parameters:
dir - the directory
db - the database name (null for all databases)
quiet - don't print progress information
static void main(String... args)
Options are case sensitive.
static void main(String... args) throws SQLException
Options are case sensitive. Supported options are:
[-help] or [-?] Print the list of options
[-dir <dir>] The directory (default: .)
[-db <database>] The database name
[-quiet] Do not print progress information
Parameters:
args - the command line arguments
void runTool(String... args)
void runTool(String... args) throws SQLException