From adbe60e7ece100d2171e5069fd94403c4aa93650 Mon Sep 17 00:00:00 2001
From: Nicolas Setton <setton@adacore.com>
Date: Fri, 29 Jun 2018 15:30:24 -0400
Subject: [PATCH] Replace use of startsWith by indexOf, for compatibility with
 IE

---
 compile_server/app/static/editors.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compile_server/app/static/editors.js b/compile_server/app/static/editors.js
index 79b88ff..f5427c0 100644
--- a/compile_server/app/static/editors.js
+++ b/compile_server/app/static/editors.js
@@ -23,7 +23,7 @@ function process_check_output(editors, output_area, output, status, completed, m
         var error_found = false;
         var match_found = l.match(/^([a-zA-Z._0-9-]+):(\d+):(\d+):(.+)$/)
         if (match_found) {
-           if (match_found[4].startsWith(" info:")) {
+           if (match_found[4].indexOf(" info:") == 0) {
               var klass = "output_msg_info";
            }
            else {