# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1432485946 -7200
# Node ID 88de2602deb372a0580ee2aa328f461dce726b68
# Parent  03d8492e2ca8c995ad1261f8c189d0c4cae9a226
sql-dk.sh: support for JAVA_OPTIONS

diff -r 03d8492e2ca8 -r 88de2602deb3 scripts/sql-dk.sh
--- a/scripts/sql-dk.sh	Sun May 24 17:35:37 2015 +0200
+++ b/scripts/sql-dk.sh	Sun May 24 18:45:46 2015 +0200
@@ -36,4 +36,4 @@
 LOGGER="-Djava.util.logging.config.class=info.globalcode.sql.dk.logging.LoggerInitializer";
 [ -n "$LOG_LEVEL" ] && LOGGER_LEVEL="-Dinfo.globalcode.sql.dk.logging.LoggerInitializer.level=$LOG_LEVEL";
 
-java $LOGGER $LOGGER_LEVEL -cp "$CLASS_PATH" $MAIN_CLASS "$@"
+java "${JAVA_OPTIONS[@]}" $LOGGER $LOGGER_LEVEL -cp "$CLASS_PATH" $MAIN_CLASS "$@"