# HG changeset patch
# User Chris Cannam
# Date 1307440816 -3600
# Node ID d0ebd797c5a12b12117c6cf000a2ed4604d0797c
# Parent  4f5414a7edb4432755e414d78cbbf1f07c5c4195
Ah, OK -- it seems we get escapes for backslashes generally, so handle that

diff -r 4f5414a7edb4 -r d0ebd797c5a1 src/common.cpp
--- 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