webui: Remove local.js file

This removes the local.js file by moving the last function it contains
to the two pages that still use it.

Author: MKleusberg

webui/js/local.js

@@ -3341,10 +3341,6 @@ func main() {
 		http.ServeFile(w, r, filepath.Join(com.Conf.Web.BaseDir, "webui", "js", "dbhub.js"))
 	})))
 
-	http.Handle("/js/local.js", gz.GzipHandler(logReq(func(w http.ResponseWriter, r *http.Request) {
-		http.ServeFile(w, r, filepath.Join(com.Conf.Web.BaseDir, "webui", "js", "local.js"))
-	})))
-
 	http.Handle("/js/plotly-basic-2.18.2.min.js", gz.GzipHandler(logReq(func(w http.ResponseWriter, r *http.Request) {
 		http.ServeFile(w, r, filepath.Join(com.Conf.Web.BaseDir, "webui", "js", "plotly-basic-2.18.2.min.js"))
 	})))

webui/main.go

@@ -81,6 +81,20 @@ <h4 style="color: {{ statusMessageColour }};" data-cy="statusmsg">&nbsp;{{ statu
 [[ template "script_db_header" . ]]
 [[ template "footer" . ]]
 <script>
+    // Construct a timestamp string for use in user messages
+    function nowString() {
+        const now = new Date();
+        let mins = now.getMinutes();
+        let secs = now.getSeconds();
+        if (mins < 10) {
+            mins = "0" + mins;
+        }
+        if (secs < 10) {
+            secs = "0" + secs;
+        }
+        return "[" + now.getHours() + ":" + mins + ":" + secs + "] ";
+    }
+
     // Pre-filled table row data
     let dataReceived = false;
 

webui/templates/execute.html

@@ -11,7 +11,6 @@
     <link rel="stylesheet" href="/css/font-awesome-4.7.0.min.css" integrity="sha384-dNpIIXE8U05kAbPhy3G1cz+yZmTzA6CY8Vg/u2L9xRnHjJiAK76m2BIEaSEV+/aU" crossorigin="anonymous">
     <link href="/css/local.css" rel="stylesheet">
     <script src="//cdn.auth0.com/js/lock/11.35.0/lock.min.js"></script>
-    <script src="/js/local.js" type="application/javascript"></script>
     [[ if eq .PageMeta.Environment "production" ]]
         <script type="application/javascript">
         // Only invoke the Auth0 pieces in the production environment

webui/templates/head.html

@@ -195,6 +195,20 @@ <h4 style="color: {{ statusMessageColour }};" data-cy="statusmsg">&nbsp;{{ statu
 [[ template "script_db_header" . ]]
 [[ template "footer" . ]]
 <script>
+    // Construct a timestamp string for use in user messages
+    function nowString() {
+        const now = new Date();
+        let mins = now.getMinutes();
+        let secs = now.getSeconds();
+        if (mins < 10) {
+            mins = "0" + mins;
+        }
+        if (secs < 10) {
+            secs = "0" + secs;
+        }
+        return "[" + now.getHours() + ":" + mins + ":" + secs + "] ";
+    }
+
     // Pre-filled table row data
     let chartData = {
         XAxisLabel: "",