Commit a15573a0 authored by Henrik Tramberend's avatar Henrik Tramberend
Browse files

Fix duplicate reloads

parent 662ecf8b
......@@ -130,7 +130,6 @@ main = do
then indexSource
else indexSource <.> "generated"
markdownToHtmlPage src out
reloadBrowsers
--
indexSource <.> "generated" %> \out -> do
decks <- decksA
......@@ -163,7 +162,6 @@ main = do
phony "support" $ do
putNormal $ "# write embedded files for (" ++ supportDir ++ ")"
writeEmbeddedFiles deckerSupportDir supportDir
reloadBrowsers
--
phony "publish" $ do
need ["support"]
......
......@@ -52,7 +52,7 @@ $endif$
<script>
var socket = new WebSocket("ws://" + location.host + "/reload");
socket.onmessage = function () {
window.location.reload(true);
window.location.reload(true);
};
</script>
$for(header-includes)$
......
......@@ -95,7 +95,7 @@ $endif$
<script>
var socket = new WebSocket("ws://" + location.host + "/reload");
socket.onmessage = function () {
window.location.reload(true);
window.location.reload(true);
};
</script>
$for(header-includes)$
......
......@@ -109,7 +109,7 @@ $endif$
<script>
var socket = new WebSocket("ws://" + location.host + "/reload");
socket.onmessage = function () {
window.location.reload(true);
window.location.reload(true);
};
</script>
$for(header-includes)$
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment