WebSocket Pepper API: SRPC proxy implementation

ppapi/native_client/src/shared/ppapi_proxy/run_srpcgen.py

 #!/usr/bin/env python
 # Copyright (c) 2012 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 """Driver of srpcgen for ppapi_proxy sources.
 
 This must be run after modifying, adding, or removing .srpc files.
 The lists of .srpc files are in this source file.
 """
@@ skipping 67 matching lines @@
          'ppb_mouse_lock.srpc',
          'ppb_net_address_private.srpc',
          'ppb_pdf.srpc',
          'ppb_scrollbar.srpc',
          'ppb_tcp_socket_private.srpc',
          'ppb_testing.srpc',
          'ppb_udp_socket_private.srpc',
          'ppb_url_loader.srpc',
          'ppb_url_request_info.srpc',
          'ppb_url_response_info.srpc',
+         'ppb_websocket.srpc',
          'ppb_widget.srpc',
          'ppb_zoom.srpc',
          ]},
     {'trusted_is_client': False,
      'name': 'PpbUpcalls',
      'file_basename': 'upcall',
      'srpc_files': [
          'upcall.srpc',
          ]},
     ]
@@ skipping 102 matching lines @@
                                                     'srpcgen.py'))
 
   if args:
     parser.print_help()
     return 1
 
   return RunAll(options)
 
 if __name__ == '__main__':
   sys.exit(Main(sys.argv))