on master help sign in
Merge pull request #494 from mihaigiurgeanu/wai-handler-launch_ping-improvements
728f7f3Michael Snoyman
wai-handler-launch/Network/Wai/Handler/Launch.hs+1−1
@@ -84,7 +84,7 @@ decode sendInner flushInner streamingBody = do
84 Z.finishInflate inflate >>= sendInner . fromByteString
84 Z.finishInflate inflate >>= sendInner . fromByteString
85
85
86toInsert :: S.ByteString
86toInsert :: S.ByteString
87−toInsert = "<script>setInterval(function(){var x;if(window.XMLHttpRequest){x=new XMLHttpRequest();}else{x=new ActiveXObject(\"Microsoft.XMLHTTP\");}x.open(\"GET\",\"/_ping\",false);x.send();},60000)</script>"
87+toInsert = "<script>setInterval(function(){var x;if(window.XMLHttpRequest){x=new XMLHttpRequest();}else{x=new ActiveXObject(\"Microsoft.XMLHTTP\");}x.open(\"GET\",\"/_ping?\" + (new Date()).getTime(),true);x.send();},60000)</script>"
88
88
89addInsideHead :: (Builder -> IO ())
89addInsideHead :: (Builder -> IO ())
90 -> IO ()
90 -> IO ()