new feature: show connection history according to json file

.gitignore

@@ -1 +1,2 @@
 # empty file
+.idea

connection_history.json

@@ -0,0 +1,12 @@
+[
+  {
+    "name": "default",
+    "url":"ws://192.168.4.1:8266/",
+    "password":"1234"
+  },
+  {
+    "name": "small",
+    "url":"ws://192.168.1.49:8266/",
+    "password":"123456"
+  }
+]

webrepl.html

@@ -17,6 +17,9 @@
     font: 20px/1.5 sans-serif;
   }
 
+  #url { width: 90%; }
+  #button { width: 8%; }
+
 /*
   .terminal {
     float: left;
@@ -39,6 +42,7 @@
     background: #888;
   }
 </style>
+<script src="jquery.min.js"></script>
 <script src="term.js"></script>
 <script src="FileSaver.js"></script>
 </head>
@@ -49,6 +53,10 @@
 <input type="text" name="webrepl_url" id="url" value="ws://192.168.4.1:8266/" />
 <input type="submit" id="button" value="Connect" onclick="button_click(); return false;" />
 </form>
+<div id="connection_history">
+  connection history:
+</div>
+
 <div id="term">
 </div>
 </div>
@@ -128,6 +136,24 @@
     }
 }
 
+$.getJSON("connection_history.json", function (data){
+    var conn = document.getElementById("connection_history");
+    $.each(data, function (infoIndex, info){
+        var new_conn = document.createElement("input");
+        new_conn.type = "submit";
+        new_conn.value = info["name"];
+        new_conn.onclick = function() {
+            if (connected) {
+                alert("Already connected, click 'Disconnect' first!")
+                return;
+            }
+            document.getElementById('url').value = info["url"];
+            button_click();
+        }
+        conn.appendChild(new_conn);
+    })
+})
+
 function button_click() {
     if (connected) {
         ws.close();