Fix an issue where non-ASCII characters would be wrongly escaped.

This only happens on platforms with signed char. Reported by
COLIN Stéphane.

diff --git a/serializer.cpp b/serializer.cpp
index 7f3e88842da24ab9bf5d84360a8284bc1cf2061f..356094fde659f86715a730d76cf5801135782af0 100644 (file)
--- a/serializer.cpp
+++ b/serializer.cpp
@@ -91,7 +91,7 @@ void print_possibly_escaped(const string &str)
                } else if (ret == 0) {
                        break;  // EOF.
                }
-               if (*ptr < 32 || *ptr == '\'' || *ptr == '"' || *ptr == '\\') {
+               if ((unsigned char)*ptr < 32 || *ptr == '\'' || *ptr == '"' || *ptr == '\\') {
                        if (!in_escaped_mode) {
                                printf("'$'");
                                in_escaped_mode = true;