From 0461162759ef8ead08838f39cdc8386484400fdb Mon Sep 17 00:00:00 2001
From: Alon Albert <alon.albert@gmail.com>
Date: Thu, 11 Jan 2018 12:37:45 +0200
Subject: [PATCH] Fix bug when removing a server. header_defaultserver is a
 string everywhere else but here.

---
 .../org/transdroid/core/app/settings/ApplicationSettings.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/main/java/org/transdroid/core/app/settings/ApplicationSettings.java b/app/src/main/java/org/transdroid/core/app/settings/ApplicationSettings.java
index 7e88e1c9..f4c9619c 100644
--- a/app/src/main/java/org/transdroid/core/app/settings/ApplicationSettings.java
+++ b/app/src/main/java/org/transdroid/core/app/settings/ApplicationSettings.java
@@ -258,7 +258,7 @@ public class ApplicationSettings {
 			edit.remove("header_defaultserver");
 		} else if (defaultServer > order) {
 			// Move 'up' one place to account for the removed server setting
-			edit.putInt("header_defaultserver", --order);
+			edit.putString("header_defaultserver", String.valueOf(--order));
 		}
 
 		edit.apply();