summaryrefslogtreecommitdiffstats
path: root/jack-server
diff options
context:
space:
mode:
authormikaelpeltier <mikaelpeltier@google.com>2015-04-15 10:15:27 +0200
committermikaelpeltier <mikaelpeltier@google.com>2015-04-15 11:39:25 +0200
commit0fd686f8f2daf4fd06246df70359cc21fd8f6100 (patch)
tree0853717b16c8b30113d2ec265aa6ed405b89e87a /jack-server
parentdbdbc0554d6cdf9314062bdf412a4cdbcf3acf69 (diff)
downloadtoolchain_jack-0fd686f8f2daf4fd06246df70359cc21fd8f6100.tar.gz
toolchain_jack-0fd686f8f2daf4fd06246df70359cc21fd8f6100.tar.bz2
toolchain_jack-0fd686f8f2daf4fd06246df70359cc21fd8f6100.zip
Add the Jack version used into the server log
Change-Id: Id63728df3f1bcfa3cecd2c76672a3e42606a6059
Diffstat (limited to 'jack-server')
-rw-r--r--jack-server/src/com/android/jack/server/JackSimpleServer.java2
1 files changed, 2 insertions, 0 deletions
diff --git a/jack-server/src/com/android/jack/server/JackSimpleServer.java b/jack-server/src/com/android/jack/server/JackSimpleServer.java
index 67c69e86..3179d52a 100644
--- a/jack-server/src/com/android/jack/server/JackSimpleServer.java
+++ b/jack-server/src/com/android/jack/server/JackSimpleServer.java
@@ -177,6 +177,8 @@ public class JackSimpleServer {
private static int maxForward = 0;
public static void main(String[] args) {
+ logger.log(Level.INFO, "Using Jack version: " + service.getVersion());
+
if (args.length != CLI_IDX_END) {
logger.log(Level.SEVERE,
"Usage: <port-service> <port-admin> <server-count> <max-compile> <timeout-s>");