From: Greg Burri <greg.burri@gmail.com>
Date: Mon, 6 Oct 2008 20:41:21 +0000 (+0000)
Subject: FIX suppression des /;;.*$/ (définit étant un commentaire) lors de la minification... 
X-Git-Url: https://git.euphorik.ch/?a=commitdiff_plain;h=6d3135b870db381965b197af7d282a99f52e43d8;p=euphorik.git

FIX suppression des /;;.*$/ (définit étant un commentaire) lors de la minification du js
---

diff --git a/tools/jsmin.js b/tools/jsmin.js
index a49c2bf..55ee654 100644
--- a/tools/jsmin.js
+++ b/tools/jsmin.js
@@ -121,6 +121,16 @@ function jsmin(comment, input, level) {
 	function next() {
 
 		var c = get();
+      
+      if (c === ";" && peek() === ";") {
+         for (;;) {
+            c = get();
+            if (c <= '\n') {
+               return c;
+            }
+         }
+      }
+    
 		if (c == '/') {
 			switch (peek()) {
 			case '/':