From 4e6f48df034a882629d7611c80387be3f6b72806 Mon Sep 17 00:00:00 2001
From: David Baker <dave@matrix.org>
Date: Fri, 5 Oct 2018 13:56:37 +0100
Subject: [PATCH] Disable webpack-dev-server auto reload

As per comment
---
 webpack.config.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/webpack.config.js b/webpack.config.js
index 2dd0eb054d..8f7b2ea7b9 100644
--- a/webpack.config.js
+++ b/webpack.config.js
@@ -163,6 +163,12 @@ module.exports = {
             // don't fill the console up with a mahoosive list of modules
             chunks: false,
         },
+
+        // hot mdule replacement doesn't work (I think we'd need react-hot-reload?)
+        // so webpack-dev-server reloads the page on every update which is quite
+        // tedious in Riot since that can take a while.
+        hot: false,
+        inline: false,
     },
 };