From a59dfb83c5cee59cc91052a01be052908dfa67ee Mon Sep 17 00:00:00 2001
From: Eamonn Saunders <esaunders@basistech.com>
Date: Tue, 14 Apr 2015 18:09:32 -0400
Subject: [PATCH] Added properties for indexing server host and port (and
 methods to access them).

---
 .../autopsy/core/UserPreferences.java          | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/Core/src/org/sleuthkit/autopsy/core/UserPreferences.java b/Core/src/org/sleuthkit/autopsy/core/UserPreferences.java
index 2d92ac6814..d5fecdd6a4 100755
--- a/Core/src/org/sleuthkit/autopsy/core/UserPreferences.java
+++ b/Core/src/org/sleuthkit/autopsy/core/UserPreferences.java
@@ -43,6 +43,8 @@ public final class UserPreferences {
     public static final String EXTERNAL_DATABASE_PASSWORD = "ExternalDatabasePassword"; //NON-NLS
     public static final String EXTERNAL_DATABASE_TYPE = "ExternalDatabaseType"; //NON-NLS    
     public static final String NEW_CASE_TYPE = "NewCaseType"; //NON-NLS
+    public static final String INDEXING_SERVER_HOST = "IndexingServerHost"; //NON-NLS
+    public static final String INDEXING_SERVER_PORT = "IndexingServerPort"; //NON-NLS
 
     // Prevent instantiation.
     private UserPreferences() {
@@ -126,4 +128,20 @@ public final class UserPreferences {
     public static void setNewCaseType(int value) {
         preferences.putInt(NEW_CASE_TYPE, value);
     }
+    
+    public static String getIndexingServerHost() {
+        return preferences.get(INDEXING_SERVER_HOST, "");
+    }
+    
+    public static void setIndexingServerHost(String hostName) {
+        preferences.put(INDEXING_SERVER_HOST, hostName);
+    }
+    
+    public static int getIndexingServerPort() {
+        return preferences.getInt(INDEXING_SERVER_PORT, 0);
+    }
+    
+    public static void setIndexingServerPort(int port) {
+        preferences.putInt(INDEXING_SERVER_PORT, port);
+    }
 }