diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-08-28 17:16:54 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-08-28 17:16:54 -0400 |
commit | 30959446b17bea49d07d2ded62f3fc5b978be330 (patch) | |
tree | 57bb51d132b4f81840f3ec44eba22addcf822f52 /lib | |
parent | eb1f7abebc8b0d88be660550258d5fe1e8610621 (diff) |
Gentle handling of back-button returns to pages with stale message-passing credentials
Diffstat (limited to 'lib')
-rw-r--r-- | lib/js/urweb.js | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js index f0d9b693..42660bf0 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -736,6 +736,7 @@ var client_id = null; var client_pass = 0; var url_prefix = "/"; var timeout = 60; +var isPost = false; function getXHR(uri) { @@ -909,6 +910,15 @@ function listener() { return; var lines = text.split("\n"); + if (lines.length == 1 && lines[0] == "R") { + if (isPost) + history.back(); + else + location.reload(); + + return; + } + if (lines.length < 2) { discon(); return; |