Work around an issue with the request handler crashed server side and client got...

diff --git a/Open-ILS/src/Android/src/org/evergreen/android/searchCatalog/SearchCatalog.java b/Open-ILS/src/Android/src/org/evergreen/android/searchCatalog/SearchCatalog.java
index 1722ce2..e50b2a9 100644 (file)
--- a/Open-ILS/src/Android/src/org/evergreen/android/searchCatalog/SearchCatalog.java
+++ b/Open-ILS/src/Android/src/org/evergreen/android/searchCatalog/SearchCatalog.java
@@ -207,6 +207,8 @@ public class SearchCatalog {
         ArrayList<String> ids = new ArrayList<String>();
 
         System.out.println("Sync Response: " + resp);
+        if (resp == null)
+            return resultsRecordInfo; // search failed or server crashed
 
         Map<String, ?> response = (Map<String, ?>) resp;