From d4473aff9c9a955b49d1abe006b239737821dcb5 Mon Sep 17 00:00:00 2001
From: Arne Brutschy <arne.brutschy@ulb.ac.be>
Date: Fri, 22 Nov 2013 18:59:18 +0100
Subject: [PATCH] Enable demo menu also for local access

---
 documentation/demos/menu/menu.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/documentation/demos/menu/menu.js b/documentation/demos/menu/menu.js
index d4a50972..166bc5de 100644
--- a/documentation/demos/menu/menu.js
+++ b/documentation/demos/menu/menu.js
@@ -29,7 +29,8 @@
 
     function processReqChange() {
         if (req.readyState == 4) {
-            if (req.status == 200) {
+            // status is 0 for local resources accessed via file://
+            if (!req.status && req.response || req.status >= 200 && req.status < 300 || req.status === 304 ? req : null) {
                 var menu= document.getElementById('menu');
                 menu.innerHTML= req.responseText;
             } else {
@@ -40,4 +41,4 @@
 
     window.addEventListener('load',loadXMLDoc,false);
     
-})();
\ No newline at end of file
+})();