remove_websocket_extension

Description:

public void remove_websocket_extension (Type extension_type)

Removes support for WebSocket extension of type extension_type (or any subclass of extension_type) from this.

this	a Server
extension_type	a Type