Changeset 149757 in webkit
- Timestamp:
- May 8, 2013 12:26:16 PM (11 years ago)
- Location:
- trunk/Tools
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/Tools/ChangeLog
r149752 r149757 1 2013-05-08 Ryosuke Niwa <rniwa@webkit.org> 2 3 new-run-webkit-websocketserver doesn't work after Chromium removal 4 https://bugs.webkit.org/show_bug.cgi?id=115816 5 6 Reviewed by Joseph Pecoraro. 7 8 Fix the bug by instantiating the correct port object. 9 10 * Scripts/new-run-webkit-websocketserver: 11 (main): 12 1 13 2013-05-07 Lucas Forschler <lforschler@apple.com> 2 14 -
trunk/Tools/Scripts/new-run-webkit-websocketserver
r120342 r149757 37 37 from webkitpy.common.host import Host 38 38 from webkitpy.layout_tests.servers import websocket_server 39 from webkitpy.port import platform_options 39 40 40 41 … … 72 73 default=False, 73 74 help='Include debug-level logging.') 75 76 option_group = optparse.OptionGroup(option_parser, "Platform options") 77 option_group.add_options(platform_options()) 78 option_parser.add_option_group(option_group) 79 74 80 options, args = option_parser.parse_args() 75 81 … … 98 104 99 105 host = Host() 100 # FIXME: Make this work with other ports as well. 101 port_obj = host.port_factory.get(port_name='chromium', options=options) 106 port_obj = host.port_factory.get(options.platform, options=options) 102 107 pywebsocket = websocket_server.PyWebSocket(port_obj, options.output_dir, **kwds) 103 108
Note: See TracChangeset
for help on using the changeset viewer.