diff src/common.cpp @ 411:d0ebd797c5a1

Ah, OK -- it seems we get escapes for backslashes generally, so handle that

--- a/src/common.cpp	Tue Jun 07 10:59:28 2011 +0100
+++ b/src/common.cpp	Tue Jun 07 11:00:16 2011 +0100
@@ -264,9 +264,9 @@
     for (int i = 0; i < s.length(); ++i) {
         // backslash-u escaped with another backslash: replace with a
         // single backslash and skip on
-        if (i+2 < s.length() && s[i] == '\\' && s[i+1] == '\\' && s[i+2] == 'u') {
-            d += "\\u";
-            i += 2;
+        if (i+1 < s.length() && s[i] == '\\' && s[i+1] == '\\') {
+            d += '\\';
+            i += 1;
             continue;
         }
         // unescaped backslash followed by u and at least four more