diff --git a/_web_server/server/index.html b/_web_server/server/index.html index bf67fe1..332f9a3 100644 --- a/_web_server/server/index.html +++ b/_web_server/server/index.html @@ -67,6 +67,7 @@ }); const log_area = document.getElementById('log'); function send_to_icarus() { + log_area.value = "Please wait..."; fetch('%IVERILOGPOSTURI%', { method: 'POST',