From d5b78c29da39c15df6a61e7de1da83cf2b3f1e63 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Tue, 14 Jun 2016 17:19:52 +0200
Subject: [PATCH] Fixed rounding issue caused by JavaScript and the conversion
 to String.

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

diff --git a/app/assets/javascripts/editor.js.erb b/app/assets/javascripts/editor.js.erb
index 10123521..50217b1f 100644
--- a/app/assets/javascripts/editor.js.erb
+++ b/app/assets/javascripts/editor.js.erb
@@ -707,8 +707,7 @@ $(function() {
     var score = $('#score').data('score');
     var maxium_score = $('#score').data('maximum-score');
     if (score >= 0 && score <= maxium_score && maxium_score >0 ) {
-      var rounded_number = (score / maxium_score ).toFixed(2);
-      var percentage_score = rounded_number * 100
+      var percentage_score = (score / maxium_score * 100 ).toFixed(2);
       $('.score').html(percentage_score + '%');
     }
     else {