diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/site.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/site.js b/public/site.js index cb6bed7..c9c0491 100644 --- a/public/site.js +++ b/public/site.js @@ -84,7 +84,7 @@ $(function() { if (data.run.status != null) { // program was executed $("#output").append( - $("<h4></h4>").text(data.run.status == 0 ? "Executed successfully" : "Execution failed").css("color", data.run.status == 0 ? "green" : "red"), + $("<h4></h4>").text(data.run.status == 0 ? "Executed successfully" : "Execution failed").css("color", data.run.status == 0 ? "green" : "red") ); if (data.run.stdout) { |