WebSocket Pepper API: synchronous completion support

ppapi/native_client/src/shared/ppapi_proxy/ppb_websocket.srpc

 # Copyright (c) 2012 The Native Client Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 #
 # RPC methods used to implement PPB_WebSocket calls from the plugin.
 # See ppapi/c/ppb_websocket.h for interface details.
 
 {
  'name': 'PpbWebSocketRpc',
  'rpcs': [
@@ skipping 26 matching lines @@
                       ['callback_id', 'int32_t'],      # PP_CompletionCallback
                      ],
            'outputs': [['pp_error', 'int32_t'],        # int32_t
                       ]
           },
           {'name': 'PPB_WebSocket_ReceiveMessage',
            'inputs': [['ws', 'PP_Resource'],           # PP_Resource
                       ['callback_id', 'int32_t'],      # PP_CompletionCallback
                      ],
            'outputs': [['pp_error', 'int32_t'],        # int32_t
+                       ['sync_read_buffer', 'char[]'], # PP_Var
                       ]
           },
           {'name': 'PPB_WebSocket_SendMessage',
            'inputs': [['ws', 'PP_Resource'],           # PP_Resource
                       ['message', 'char[]'],           # PP_Var
                      ],
            'outputs': [['pp_error', 'int32_t'],        # int32_t
                       ]
           },
           {'name': 'PPB_WebSocket_GetBufferedAmount',
@@ skipping 39 matching lines @@
                        ]
           },
           {'name': 'PPB_WebSocket_GetURL',
             'inputs': [['ws', 'PP_Resource'],          # PP_Resource
                       ],
             'outputs': [['url', 'char[]'],             # PP_Var
                        ]
           }
          ]
 }