| … | … | @@ -146,8 +146,14 @@ std::string Json::encode_value(const ValuePtr& v, const std::string& indent) |
| 146 | 146 | } |
| 147 | 147 | |
| 148 | 148 | else |
| 149 | if (nameserver().isA(typ, VOID_VALUE)) | |
| 149 | 150 | { |
| 150 | txt += "Error: don't know how to print this"; | |
| 151 | txt += "\"\""; | |
| 152 | } | |
| 153 | ||
| 154 | else | |
| 155 | { | |
| 156 | txt += "\"Error: don't know how to print this\""; | |
| 151 | 157 | } |
| 152 | 158 | |
| 153 | 159 | txt += "]}"; |