Some log improvements

console/htdocs/index.html

@@ -637,7 +637,7 @@
 
   <div id="log" 
    style='background: white; border:thin solid black; height:150px;
-      font-family: monospace; font-size:100%;
+      font-family: monospace; font-size:100%; white-space: pre ;
       overflow:scroll'>
   </div>
 
@@ -2084,7 +2084,7 @@ log.innerHTML = "log:";
 
 function log_status_cb(data)
 {
-	log.innerHTML = log.innerHTML + "<br>\n" + data;
+	log.innerHTML = log.innerHTML + "\n" + data;
 	log.scrollTop = log.scrollHeight;
 }
 

controller/log/log.c

@@ -191,6 +191,9 @@ static void *log_server(void *arg)
 				case LOG_T_INFO:
 					header = "INFO:    ";
 					break;
+				case LOG_T_DEBUG:
+					header = "DEBUG:   ";
+					break;
 				default:
 					header = "UNKNOWN: ";
 					break;

controller/log/log.h

@@ -23,6 +23,7 @@
 #define LOG_T_ERROR	0
 #define LOG_T_WARNING	1
 #define LOG_T_INFO	2
+#define LOG_T_DEBUG	3
 
 void log_send(int type, char *fmt, ...) __attribute__ ((format (printf, 2, 3)));
 int log_server_start(int port);