# HG changeset patch # User František Kučera # Date 1388017769 -3600 # Node ID 6e28893eaada793e3a38152d158a50c7279a99f3 # Parent f05be87239adb1679ff3fead137001ab36131fbf option --list-databases list configured databases diff -r f05be87239ad -r 6e28893eaada java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java --- a/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java Thu Dec 26 01:24:21 2013 +0100 +++ b/java/sql-dk/src/info/globalcode/sql/dk/InfoLister.java Thu Dec 26 01:29:29 2013 +0100 @@ -25,6 +25,7 @@ import java.io.PrintStream; import java.sql.SQLException; import java.util.EnumSet; +import java.util.List; import java.util.logging.Level; import java.util.logging.Logger; @@ -44,7 +45,7 @@ this.configurationProvider = configurationProvider; } - public void showInfo(CLIOptions options) { + public void showInfo(CLIOptions options) throws ConfigurationException { EnumSet infoTypes = options.getShowInfo(); for (CLIOptions.INFO_TYPE infoType : infoTypes) { switch (infoType) { @@ -67,7 +68,14 @@ printResource(Constants.VERSION_FILE); break; case DATABASES: - println("TODO: list databases"); + final List configuredDatabases = configurationProvider.getConfiguration().getDatabases(); + if (configuredDatabases.isEmpty()) { + log.log(Level.WARNING, "No databases are configured."); + } else { + for (DatabaseDefinition dd : configuredDatabases) { + log.log(Level.INFO, "Configured database: {0}", dd.getName()); + } + } break; case CONNECTION: boolean connectionTestResult = false;