From 737e99e710d5ad8a22adae81ad5d492e27e257d9 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Sat, 18 Apr 2020 00:38:10 +0200
Subject: [PATCH] Print both: stout and stderr

---
 app/assets/javascripts/shell.js | 22 +++++++++++++++-------
 1 file changed, 15 insertions(+), 7 deletions(-)

diff --git a/app/assets/javascripts/shell.js b/app/assets/javascripts/shell.js
index b1bbb714..d30e800a 100644
--- a/app/assets/javascripts/shell.js
+++ b/app/assets/javascripts/shell.js
@@ -42,18 +42,26 @@ $(document).on('turbolinks:load', function () {
 
     var printOutput = function (output) {
         if (output) {
-            var element = $('<p>');
-            if (output.stderr) {
-                element.addClass('text-warning');
-                element.html(output.stderr);
-            } else if (output.stdout) {
+            if (output.stdout) {
+                var element = $('<p>');
                 element.addClass('text-success');
                 element.html(output.stdout);
-            } else {
+                $('#output').append(element);
+            }
+
+            if (output.stderr) {
+                var element = $('<p>');
+                element.addClass('text-warning');
+                element.html(output.stderr);
+                $('#output').append(element);
+            }
+
+            if (!output.stdout && !output.stderr) {
+                var element = $('<p>');
                 element.addClass('text-muted');
                 element.html($('#output').data('message-no-output'));
+                $('#output').append(element);
             }
-            $('#output').append(element);
         }
     };