From 954a8287f883f1b1aa2c1fdfa9ea490c150b9ed9 Mon Sep 17 00:00:00 2001
From: Ben Ford <ben.ford@puppetlabs.com>
Date: Tue, 5 Jan 2016 12:13:48 -0800
Subject: [PATCH] Whoa, there's two copies?

Not sure why there are two index.html files, but...
---
 public/index.html | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
diff --git a/public/index.html b/public/index.html
index f28eb79..ddd0f70 100644
--- a/public/index.html
+++ b/public/index.html
@@ -14,6 +14,20 @@
             width: 100%;
             margin: 0px;
         }
+        #overlay {
+            position: absolute;
+            height: 100%;
+            width: 100%;
+            background-color: rgba(0,0,0,0.75);;
+            display: none;
+        }
+        #overlay input {
+            display: block;
+            margin: auto;
+            position: relative;
+            top: 50%;
+            transform: translateY(-50%);
+        }
         #terminal {
             display: block;
             position: relative;
@@ -24,6 +38,7 @@
 </head>
 
 <body>
+    <div id="overlay"><input type="button" onclick="javascript:location.reload();" value="reconnect" /></div>
     <div id="terminal"></div>
 </body>
 
