From f5f7d155dc935f30e273ce90ddbd436bba4cb661 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=A1clav=20Val=C3=AD=C4=8Dek?= <valicek1994@gmail.com>
Date: Wed, 20 Dec 2017 12:10:56 +0100
Subject: [PATCH] Enable colored output for output logs

---
 src/resources/js/app.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/resources/js/app.js b/src/resources/js/app.js
index a2d4073..40667f0 100644
--- a/src/resources/js/app.js
+++ b/src/resources/js/app.js
@@ -430,7 +430,7 @@ const Run = function() {
   };
   var firstLog = false;
   var logHandler = function(vm, d) {
-    state.log += d;
+    state.log += ansi_up.ansi_to_html(d);
     vm.$forceUpdate();
     if (!firstLog) {
       firstLog = true;