From 03170ef850d41b9d1e36d8abddd3e85804ace826 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Thu, 21 Aug 2014 14:19:30 +0100
Subject: [PATCH] Remove redundant setting.

---
 examples/htdocs/mike.html |    1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/htdocs/mike.html b/examples/htdocs/mike.html
index 7a2b759..6165437 100644
--- a/examples/htdocs/mike.html
+++ b/examples/htdocs/mike.html
@@ -6,7 +6,6 @@
     <script type="text/javascript">
       var mkws_config = {
         // For now, we have to provide known-bad credentials to skip user/pw login: see bug MKSP-125
-        service_proxy_auth: undefined,
         // Was: //sp-mkws.indexdata.com/service-proxy/?command=auth&action=perconfig&username=XXX&password=XXX
         pp2_hostname: "x.sp-mkws.indexdata.com",
         sp_path: "service-proxy/",
-- 
1.7.10.4