Forked from sooorajjj/0001-jack-server-change-default-port-Increase-Java-Heap-S.patch0001-jack-server-change-default-port-Increase-Java-Heap-S.patch
Created
April 5, 2019 00:34
-
-
Save 19317362/d27c1a59fb5163586ec96b5110a5eaee to your computer and use it in GitHub Desktop.
Jack-server: change default port && Increase Java Heap Size
This file contains hidden or 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 <[email protected]> | |
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