From 8a0e6386987132d12bb9ab0c051cc57acce1184d Mon Sep 17 00:00:00 2001 From: Eric Kok Date: Fri, 15 Nov 2013 10:08:59 +0100 Subject: [PATCH] Fixed #40 by adding a new local port option. --- core/res/values/strings.xml | 1 + core/res/xml/pref_server.xml | 13 +++-- .../app/settings/ApplicationSettings.java | 53 +++++++++++++------ .../core/app/settings/ServerSetting.java | 26 +++++---- .../gui/settings/ServerSettingsActivity.java | 3 +- 5 files changed, 65 insertions(+), 31 deletions(-) diff --git a/core/res/values/strings.xml b/core/res/values/strings.xml index 199f9428..c2fd3083 100644 --- a/core/res/values/strings.xml +++ b/core/res/values/strings.xml @@ -233,6 +233,7 @@ Advanced settings Local IP or host When connected to the specified local network + Local port number Local network The server\'s local network SSID Folder diff --git a/core/res/xml/pref_server.xml b/core/res/xml/pref_server.xml index eb40b10c..28308db2 100644 --- a/core/res/xml/pref_server.xml +++ b/core/res/xml/pref_server.xml @@ -49,16 +49,21 @@ android:key="server_port" android:title="@string/pref_port" android:inputType="numberSigned" /> + + android:key="server_localport" + android:title="@string/pref_localport" + android:summary="@string/pref_localaddress_info" + android:inputType="numberSigned" />