Index: tools/json_schema_compiler/preview.py |
diff --git a/tools/json_schema_compiler/preview.py b/tools/json_schema_compiler/preview.py |
index d577715306933028459cd37cd5ee3b2b5cd02b54..300983a88d8d0f3d86278f92f79dcaf3ec241397 100755 |
--- a/tools/json_schema_compiler/preview.py |
+++ b/tools/json_schema_compiler/preview.py |
@@ -249,7 +249,7 @@ updateEverything(); |
except (TypeError, KeyError, AttributeError, |
AssertionError, NotImplementedError) as error: |
body.Append('<pre>') |
- body.Append('compiler error: ' + str(error)) |
+ body.Append('compiler error: %s' % error) |
body.Append('Check server log for more details') |
body.Append('</pre>') |
raise |