on master help sign in
Merge pull request #494 from mihaigiurgeanu/wai-handler-launch_ping-improvements

wai-handler-launch: Improvements to ping's javascript script.

commit728f7f3979f7ea295df6e2b784e49f6f0fa4eb4a authorMichael Snoyman <michael@snoyman.com> dateSun 22 Jan 2017, 12:34 (10 years ago) parent82c8c61f8c0f98
1 file changed+1−1
wai-handler-launch/Network/Wai/Handler/Launch.hs+1−1
wai-handler-launch/Network/Wai/Handler/Launch.hs+1−1
@@ -84,7 +84,7 @@ decode sendInner flushInner streamingBody = do
8484 Z.finishInflate inflate >>= sendInner . fromByteString
8585
8686toInsert :: 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>"
8888
8989addInsideHead :: (Builder -> IO ())
9090 -> IO ()