Changeset 57845 in webkit


Ignore:
Timestamp:
Apr 19, 2010 2:59:41 PM (14 years ago)
Author:
dpranke@chromium.org
Message:

2010-04-19 Dirk Pranke <​dpranke@chromium.org>

Reviewed by Eric Seidel.

Add slightly better logging to the websocket python wrapper script,
including a --verbose flag for debug output.

​https://bugs.webkit.org/show_bug.cgi?id=37233

  • Scripts/webkitpy/layout_tests/port/websocket_server.py:
  • Scripts/new-run-webkit-websocketserver:
Location:
trunk/WebKitTools
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • trunk/WebKitTools/ChangeLog

    r57843 r57845  
     12010-04-19  Dirk Pranke  <dpranke@chromium.org>
     2
     3        Reviewed by Eric Seidel.
     4
     5        Add slightly better logging to the websocket python wrapper script,
     6        including a --verbose flag for debug output.
     7
     8        https://bugs.webkit.org/show_bug.cgi?id=37233
     9
     10        * Scripts/webkitpy/layout_tests/port/websocket_server.py:
     11        * Scripts/new-run-webkit-websocketserver:
     12
    1132010-04-19  Dirk Pranke  <dpranke@chromium.org>
    214

  • trunk/WebKitTools/Scripts/new-run-webkit-websocketserver

    r57507 r57845  
    3131   same configuration as used in the layout tests."""
    3232
     33import logging
    3334import optparse
    3435import tempfile
    … …  
    5960                             help='Register Cygwin paths (on Win try bots)')
    6061    option_parser.add_option('--pidfile', help='path to pid file.')
     62    option_parser.add_option('-v', '--verbose', action='store_true',
     63                             default=False, help='include debug-level logging')
    6164    options, args = option_parser.parse_args()
    6265
    … …  
    8386    pywebsocket = websocket_server.PyWebSocket(port_obj, tempfile.gettempdir(), **kwds)
    8487
     88    log_level = logging.WARN
     89    if options.verbose:
     90        log_level = logging.DEBUG
     91    logging.basicConfig(level=log_level)
     92
    8593    if 'start' == options.server:
    8694        pywebsocket.start()

  • trunk/WebKitTools/Scripts/webkitpy/layout_tests/port/websocket_server.py

    r57507 r57845  
    242242            return
    243243
     244        pid = None
    244245        if self._process:
    245246            pid = self._process.pid
Note: See TracChangeset for help on using the changeset viewer.