# Will manage the global websocket server if need
class WebsocketManager(object):
    def __init__(self):
        self.webso = None
    
    
    def set(self, webso):
        self.webso = webso
    
    
    def forward(self, msg):
        if self.webso:
            self.webso.send_all(msg)


websocketmgr = WebsocketManager()

c6c42d2a9afb9fa2a995e636467b438e6806dc2e
class WebsocketManager(object):
    <mask token>
    <mask token>

    def forward(self, msg):
        if self.webso:
            self.webso.send_all(msg)


<mask token>

class WebsocketManager(object):

    def __init__(self):
        self.webso = None
    <mask token>

    def forward(self, msg):
        if self.webso:
            self.webso.send_all(msg)


<mask token>

class WebsocketManager(object):

    def __init__(self):
        self.webso = None

    def set(self, webso):
        self.webso = webso

    def forward(self, msg):
        if self.webso:
            self.webso.send_all(msg)


<mask token>

class WebsocketManager(object):

    def __init__(self):
        self.webso = None

    def set(self, webso):
        self.webso = webso

    def forward(self, msg):
        if self.webso:
            self.webso.send_all(msg)


websocketmgr = WebsocketManager()

# Will manage the global websocket server if need
class WebsocketManager(object):
    def __init__(self):
        self.webso = None
    
    
    def set(self, webso):
        self.webso = webso
    
    
    def forward(self, msg):
        if self.webso:
            self.webso.send_all(msg)


websocketmgr = WebsocketManager()
