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
|