| … | … | @@ -145,6 +145,17 @@ std::string Json::encode_value(const ValuePtr& v, const std::string& indent) |
| 145 | 145 | } |
| 146 | 146 | } |
| 147 | 147 | |
| 148 | else | |
| 149 | if (nameserver().isA(typ, BOOL_VALUE)) | |
| 150 | { | |
| 151 | // Hack-a-licious. Use the native printer, for now. | |
| 152 | // XXX FIXME later. | |
| 153 | BoolValuePtr bv(BoolValueCast(v)); | |
| 154 | txt += "\""; | |
| 155 | txt += bv->to_string(); | |
| 156 | txt += "\""; | |
| 157 | } | |
| 158 | ||
| 148 | 159 | else |
| 149 | 160 | if (nameserver().isA(typ, VOID_VALUE)) |
| 150 | 161 | { |