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

[euphorik.git] / tools / jsmin.js

diff --git a/tools/jsmin.js b/tools/jsmin.js
index a49c2bf..55ee654 100644 (file)
--- 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 '/':