From 360c51e7dcd72f2332dd8ac753f6f216d18068b9 Mon Sep 17 00:00:00 2001
From: fkloft <felix.kloft+github@gmail.com>
Date: Wed, 13 Aug 2014 10:51:37 +0200
Subject: [PATCH] [core] tell Android to reload instead of calling
 location.reload() if running on IITCm

fixes 842
---
 code/send_request.js | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/code/send_request.js b/code/send_request.js
index 7bcd825c..c313c8cb 100644
--- a/code/send_request.js
+++ b/code/send_request.js
@@ -100,7 +100,13 @@ window.outOfDateUserPrompt = function()
            +'<p>If you have just reloaded the page, then an old version of the standard site script is cached somewhere.'
            +'In this case, try clearing your cache, or waiting 15-30 minutes for the stale data to expire.</p>',
       buttons: {
-        'RELOAD': function() { window.location.reload(); }
+        'RELOAD': function() {
+          if (typeof android !== 'undefined' && android && android.reloadIITC()) {
+            android.reloadIITC();
+          } else {
+            window.location.reload();
+          }
+        }
       },
       close: function(event, ui) {
         delete window.blockOutOfDateRequests;