|
|
@ -624,9 +624,16 @@ var run = function() { |
|
|
|
}); |
|
|
|
}); |
|
|
|
}; |
|
|
|
}; |
|
|
|
var compilationFinished = function(result, missingInputs) { |
|
|
|
var compilationFinished = function(result, missingInputs) { |
|
|
|
var data = $.parseJSON(result); |
|
|
|
var data; |
|
|
|
var noFatalErrors = true; // ie warnings are ok
|
|
|
|
var noFatalErrors = true; // ie warnings are ok
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
try { |
|
|
|
|
|
|
|
data = $.parseJSON(result); |
|
|
|
|
|
|
|
} catch (exception) { |
|
|
|
|
|
|
|
renderError('Invalid JSON output from the compiler: ' + exception); |
|
|
|
|
|
|
|
return; |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
if (data['error'] !== undefined) { |
|
|
|
if (data['error'] !== undefined) { |
|
|
|
renderError(data['error']); |
|
|
|
renderError(data['error']); |
|
|
|
if (errortype(data['error']) !== 'warning') noFatalErrors = false; |
|
|
|
if (errortype(data['error']) !== 'warning') noFatalErrors = false; |
|
|
|