java/sql-dk/help-generator.sh
author František Kučera <franta-hg@frantovo.cz>
Tue, 26 Feb 2019 17:31:41 +0100
branchv_0
changeset 235 8ce612cca4d8
parent 96 7ae30649b30b
child 238 4a1864c3e867
permissions -rwxr-xr-x
JDBC drivers: fix 'Unsupported URL' – drivers might be called witrh wrong URLs and then they should (according to the JavaDoc) return null instead of throwing an exception. This problem occurred when --test-connection was testing multiple connections in parallel.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
96
7ae30649b30b basic generated help
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     1
#!/bin/bash
7ae30649b30b basic generated help
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     2
7ae30649b30b basic generated help
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     3
cat \
7ae30649b30b basic generated help
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     4
	src/info/globalcode/sql/dk/CLIParser.java \
7ae30649b30b basic generated help
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     5
	src/info/globalcode/sql/dk/CLIStarter.java \
7ae30649b30b basic generated help
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     6
	| ../../scripts/help_generator.pl
7ae30649b30b basic generated help
František Kučera <franta-hg@frantovo.cz>
parents:
diff changeset
     7