Moved server variables to extra script

This commit is contained in:
Simon Pamies committed 2013-06-07 15:59:03 +02:00
1 parent 104b266ff7
commit 7bb82f4ea8
3 files changed
+20 -10

No files matched your search

+9
View File
@@ -0,0 +1,9 @@
#!/bin/sh
if [[ "$JAVA_HOME" == "" ]]; then
JAVA_HOME=$HOME/jdk1.7.0_02
echo "Setting JAVA_HOME to $JAVA_HOME"
fi
TELNET_PORT=14885
SERVER_NAME=MASTER