Use gigi.properties in DatabaseManager (if no cmdline args)
authorFelix Dörre <felix@dogcraft.de>
Tue, 1 Jul 2014 23:22:37 +0000 (01:22 +0200)
committerFelix Dörre <felix@dogcraft.de>
Tue, 1 Jul 2014 23:22:37 +0000 (01:22 +0200)
commit067e86ec9a0ab2d9a62acfa95868a0a4fe3ea3ed
tree15bc17875362619635c8401f073abd8f1ff546a5
parent1a026ed91ca5443f85c90ce2b87f63585ecfe0fc
Use gigi.properties in DatabaseManager (if no cmdline args)
util/org/cacert/gigi/util/DatabaseManager.java