| 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
|
|
|