diff options
| author | mikaelpeltier <mikaelpeltier@google.com> | 2015-04-15 10:15:27 +0200 |
|---|---|---|
| committer | mikaelpeltier <mikaelpeltier@google.com> | 2015-04-15 11:39:25 +0200 |
| commit | 0fd686f8f2daf4fd06246df70359cc21fd8f6100 (patch) | |
| tree | 0853717b16c8b30113d2ec265aa6ed405b89e87a /jack-server | |
| parent | dbdbc0554d6cdf9314062bdf412a4cdbcf3acf69 (diff) | |
| download | toolchain_jack-0fd686f8f2daf4fd06246df70359cc21fd8f6100.zip toolchain_jack-0fd686f8f2daf4fd06246df70359cc21fd8f6100.tar.gz toolchain_jack-0fd686f8f2daf4fd06246df70359cc21fd8f6100.tar.bz2 | |
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.java | 2 |
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 67c69e8..3179d52 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>"); |