Merge branch 'master' of https://code.google.com/p/plexi
diff --git a/resources/com/google/enterprise/adaptor/resources/dashboard.js b/resources/com/google/enterprise/adaptor/resources/dashboard.js
index 63a15e6..3ce5675 100755
--- a/resources/com/google/enterprise/adaptor/resources/dashboard.js
+++ b/resources/com/google/enterprise/adaptor/resources/dashboard.js
@@ -331,6 +331,9 @@
       function(result, error) {
         processing.hide();
         if (result === null) {
+          alert("Disconnected from adaptor.  Press the 'OK' button to return "
+              + "to the login page.");
+          location.reload();
           throw error !== null ? error : "Invalid response from server";
         }
         encvalue.val(result);