Index: tools/json_schema_compiler/previewserver.py |
diff --git a/tools/json_schema_compiler/previewserver.py b/tools/json_schema_compiler/previewserver.py |
index 2d4105a99782929d645c5e35092f62b3242d3331..b965469a9a0a49554a691eb6c4101b7f677cf6a8 100755 |
--- a/tools/json_schema_compiler/previewserver.py |
+++ b/tools/json_schema_compiler/previewserver.py |
@@ -321,12 +321,19 @@ if __name__ == '__main__': |
print('') |
print(' http://localhost:%d/chrome/common/extensions/api' % opts.port) |
print('') |
- server = PreviewHTTPServer(('', int(opts.port)), CompilerHandler, |
- { |
- 'pygments': pygments_highlighter.PygmentsHighlighter(), |
- 'hilite': hilite_me_highlighter.HiliteMeHighlighter(), |
- 'none': none_highlighter.NoneHighlighter(), |
- }) |
+ |
+ highlighters = { |
+ 'hilite': hilite_me_highlighter.HiliteMeHighlighter(), |
+ 'none': none_highlighter.NoneHighlighter() |
+ } |
+ try: |
+ highlighters['pygments'] = pygments_highlighter.PygmentsHighlighter() |
+ except ImportError as e: |
+ pass |
+ |
+ server = PreviewHTTPServer(('', int(opts.port)), |
+ CompilerHandler, |
+ highlighters) |
server.serve_forever() |
except KeyboardInterrupt: |
server.socket.close() |