From 6d3135b870db381965b197af7d282a99f52e43d8 Mon Sep 17 00:00:00 2001
From: Greg Burri <greg.burri@gmail.com>
Date: Mon, 6 Oct 2008 20:41:21 +0000
Subject: [PATCH 1/1] =?utf8?q?FIX=20suppression=20des=20/;;.*$/=20(d=C3=A9?=
 =?utf8?q?finit=20=C3=A9tant=20un=20commentaire)=20lors=20de=20la=20minifi?=
 =?utf8?q?cation=20du=20js?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 tools/jsmin.js | 10 ++++++++++
 1 file changed, 10 insertions(+)

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 '/':
-- 
2.43.0