ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

Do not count info messages as errors.

Browse Source
This commit is contained in:
Nicolas Setton
2018-06-20 15:17:43 -04:00
parent ea3a7fc6e7
commit d14ec2fcb1
1 changed files with 24 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

44
compile_server/app/static/editors.js
View File

@@ -20,17 +20,19 @@ function process_check_output(editors, output_area, output, status, completed, m
read_lines++
// Look for lines that contain an error message
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:")) {
var klass = "output_msg_info"
var klass = "output_msg_info";
}
else {
var klass = "output_msg"
error_found = true;
}
}
else {
var klass = "output_line"
var klass = "output_line";
}
// Print the line in the output area
@@ -39,28 +41,30 @@ function process_check_output(editors, output_area, output, status, completed, m
div.appendTo(output_area)
if (match_found != null) {
output_area.error_count++
if (error_found) {
output_area.error_count++
}
// Lines that contain a sloc are clickable:
div.on('click', function (x) {
// find the corresponding editor
var basename = match_found[1]
editors.forEach(function (e) {
if (e.basename == basename) {
// Switch to the tab that contains the editor
// Lines that contain a sloc are clickable:
div.on('click', function (x) {
// find the corresponding editor
var basename = match_found[1]
editors.forEach(function (e) {
if (e.basename == basename) {
// Switch to the tab that contains the editor
// TODO: this is in the case of bootstrap only
// $("#" + e.unique_id + "-tab").tab('show')
// TODO: this is in the case of bootstrap only
// $("#" + e.unique_id + "-tab").tab('show')
// Jump to the corresponding line
e.gotoLine(parseInt(match_found[2]),
// looks like column numbers are indexed from 0
parseInt(match_found[3] - 1),
true)
e.focus()
}
})
// Jump to the corresponding line
e.gotoLine(parseInt(match_found[2]),
// looks like column numbers are indexed from 0
parseInt(match_found[3] - 1),
true)
e.focus()
}
})
})
}
})