commit | ef7a357a5c3171f0a9e4fac117e6446b4820cf2a | [log] [tgz] |
---|---|---|
author | PJ <pjo@google.com> | Thu May 15 22:06:03 2014 -0700 |
committer | PJ <pjo@google.com> | Thu May 15 22:06:03 2014 -0700 |
tree | 069c7e700787997dcb6244c90b3dbc6bbaa3442e | |
parent | 05892ca8b0e8b7146da2142a48fb83d4619911a0 [diff] | |
parent | 6697d2d4188b98a2cd3a24107ecf8c937023c8a8 [diff] |
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);