From 6672491bc3c0936993aaadee871a89b182380c73 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Fri, 25 Sep 2015 12:19:13 +0200
Subject: [PATCH] commented out translation to line breaks, as they seem not to
 be needed (and corrected the linebreak tag), thanks to martin for hinting at
 this. Discuss with janusch why he needed this.

---
 app/assets/javascripts/editor.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor.js b/app/assets/javascripts/editor.js
index 9d866998..279e7c27 100644
--- a/app/assets/javascripts/editor.js
+++ b/app/assets/javascripts/editor.js
@@ -1160,7 +1160,7 @@ $(function() {
       if (!msg.data) {
         return;
       }
-      msg.data = msg.data.replace(/(\r\n|\n|\r)/gm, "</br>");
+      //msg.data = msg.data.replace(/(\r\n|\n|\r)/gm, "<br />");
       var stream = {};
       stream[msg.stream] = msg.data;
       printOutput(stream, true, 0);