From 29cc8056229096223c39f4a8563d0a1746b7dc81 Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Sat, 11 Oct 2008 00:22:53 +0000
Subject: [PATCH] Dont quote numbers, as per the previous behavior.

---
 content/commands.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/content/commands.js b/content/commands.js
index f49c0b07..b0de29d3 100644
--- a/content/commands.js
+++ b/content/commands.js
@@ -707,7 +707,7 @@ liberator.Commands = function () //{{{
                 let res = tokens[token];
                 if (res == undefined) // Ignore anything undefined
                     res = "<" + token + ">";
-                if (quote)
+                if (quote && typeof res != "number")
                     return '"' + String.replace(res, '"', '\\"', "g") + '"';
                 return res;
             });