edit websocket.py, header function