Created
January 24, 2017 06:55
-
-
Save sooorajjj/a8e29a13678322c334ea12e68ec0cec6 to your computer and use it in GitHub Desktop.
Jack-server: change default port && Increase Java Heap Size
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
From ce43c6180ee1fdc0a1c4a92e984f8ebf418c78db Mon Sep 17 00:00:00 2001 | |
From: sooorajjj <sooorajjj@gmail.com> | |
Date: Tue, 24 Jan 2017 09:42:14 +0530 | |
Subject: [PATCH] jack-server: change default port && Increase Java Heap Size | |
my personal configuration for arch 8gig ram machine | |
Change-Id: I6c6dfed3e2deb2217323790f081153f3d2e12d83 | |
--- | |
tools/jack | 4 ++-- | |
tools/jack-admin | 4 ++-- | |
tools/jack_server_setup.mk | 2 +- | |
3 files changed, 5 insertions(+), 5 deletions(-) | |
diff --git a/tools/jack b/tools/jack | |
index ae291f42..5541c1d1 100755 | |
--- a/tools/jack | |
+++ b/tools/jack | |
@@ -45,8 +45,8 @@ if [[ ! -f "$CLIENT_SETTING" || $SETTING_VERSION -lt 4 ]]; then | |
cat >"$CLIENT_SETTING.$$" <<-EOT | |
# Server settings | |
SERVER_HOST=${SERVER_HOST:=127.0.0.1} | |
- SERVER_PORT_SERVICE=${SERVER_PORT_SERVICE:=8076} | |
- SERVER_PORT_ADMIN=${SERVER_PORT_ADMIN:=8077} | |
+ SERVER_PORT_SERVICE=${SERVER_PORT_SERVICE:=8088} | |
+ SERVER_PORT_ADMIN=${SERVER_PORT_ADMIN:=8089} | |
# Internal, do not touch | |
SETTING_VERSION=4 | |
diff --git a/tools/jack-admin b/tools/jack-admin | |
index ee193fcf..5a6bbaa5 100755 | |
--- a/tools/jack-admin | |
+++ b/tools/jack-admin | |
@@ -57,8 +57,8 @@ if [[ ! -f "$CLIENT_SETTING" || $SETTING_VERSION -lt 4 ]]; then | |
cat >"$CLIENT_SETTING.$$" <<-EOT | |
# Server settings | |
SERVER_HOST=${SERVER_HOST:=127.0.0.1} | |
- SERVER_PORT_SERVICE=${SERVER_PORT_SERVICE:=8076} | |
- SERVER_PORT_ADMIN=${SERVER_PORT_ADMIN:=8077} | |
+ SERVER_PORT_SERVICE=${SERVER_PORT_SERVICE:=8088} | |
+ SERVER_PORT_ADMIN=${SERVER_PORT_ADMIN:=8089} | |
# Internal, do not touch | |
SETTING_VERSION=4 | |
diff --git a/tools/jack_server_setup.mk b/tools/jack_server_setup.mk | |
index fd6a1341..0883f170 100644 | |
--- a/tools/jack_server_setup.mk | |
+++ b/tools/jack_server_setup.mk | |
@@ -22,7 +22,7 @@ jack_server_jar := $(LOCAL_PATH)/jack-server-$(jack_server_version).jar | |
ifneq ($(ANDROID_JACK_VM_ARGS),) | |
jack_vm_args := $(ANDROID_JACK_VM_ARGS) | |
else | |
-jack_vm_args := -Dfile.encoding=UTF-8 -XX:+TieredCompilation | |
+jack_vm_args := -Dfile.encoding=UTF-8 -XX:+TieredCompilation -Xmx3096m | |
endif | |
available_jack_jars := $(wildcard $(LOCAL_PATH)/jacks/jack-*.jar) | |
-- | |
2.11.0 | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
kill jack-server already installed by running
./prebuilts/sdk/tools/jack-admin uninstall-server
================= OR===================
rm -rf ~/.jack-settings ~/.jack-server
apply the patch in prebuilts/sdk , then run
./prebuilts/sdk/tools/jack-admin install-server jack-launcher.jar jack-server-*.jar
probably would need to go ~/.jack-server/config.properties and change ports here manually