From e49cf68febdcaa688d3ae4f21c9977abedff164b Mon Sep 17 00:00:00 2001
From: Greg Alexander <gitgreg@galexander.org>
Date: Wed, 17 Dec 2014 18:39:57 -0500
Subject: [PATCH] port is a string now because none of the stock preference
 widgets will do a number...

---
 src/org/galexander/sshd/Prefs.java | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/org/galexander/sshd/Prefs.java b/src/org/galexander/sshd/Prefs.java
index ed0515e..b7f86ca 100644
--- a/src/org/galexander/sshd/Prefs.java
+++ b/src/org/galexander/sshd/Prefs.java
@@ -17,7 +17,13 @@ public class Prefs {
 		return pref.getBoolean("onboot", false);
 	}
 	public static int get_port() {
-		return pref.getInt("port", 2222);
+		int ret;
+		try {
+			ret = Integer.valueOf(pref.getString("port", "2222"));
+		} catch (Exception e) {
+			ret = 2222;
+		}
+		return ret;
 	}
 	public static String get_path() {
 		return pref.getString("path", "/sdcard/ssh");