From 93a11e04c710bd4f7748f6f0797ab74b1bb37905 Mon Sep 17 00:00:00 2001
From: Yohann Roussel <yroussel@google.com>
Date: Fri, 27 Mar 2015 15:34:34 +0100
Subject: Allow user to select server log location

If the variable SERVER_LOG is defined then the server will use it as
the location for its log.

Change-Id: I40a4c99b40ef619806b8b65c72431db338434f98
---
 jack/etc/jack | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'jack/etc')

diff --git a/jack/etc/jack b/jack/etc/jack
index 620a34a2..80b887d1 100755
--- a/jack/etc/jack
+++ b/jack/etc/jack
@@ -50,7 +50,9 @@ fi
 SERVER_PRG="$JACK_VM_COMMAND -cp $JACK_JAR com.android.jack.server.JackSimpleServer"
 SERVER_DIR="$TMPDIR/jack-$USER"
 JACK_DIR="$SERVER_DIR/jack-task-$$/"
-SERVER_LOG="$SERVER_DIR/jack-$SERVER_PORT.log"
+if [ -z "$SERVER_LOG" ]; then
+  SERVER_LOG="$SERVER_DIR/jack-$SERVER_PORT.log"
+fi
 JACK_OUT="$JACK_DIR/out"
 JACK_ERR="$JACK_DIR/err"
 JACK_CLI="$JACK_DIR/cli"
-- 
cgit v1.2.3