如何处理Websockets的错误？

Question

我正在学习如何在python中使用websocket，而我注意到的第一件事是我无法使用它处理错误异常。

我有这样的东西：

import json, time
import websocket

socket = "wss://ws.kraken.com/"

def on_open(ws):
    print("Open Connection")

    subscribe_message = {
        "event": "subscribe",
        # "event": "ping",
        "pair": ['BTC/USD'],
        "subscription": {"name": "ticker"}
    }
    ws.send(json.dumps(subscribe_message))

def on_error(ws, error):
    print(error)

def on_message(ws, message):
    a = 1/0

ws = websocket.WebSocketApp(socket, on_open=on_open, on_message=on_message, on_error=on_error)

ws.run_forever()

并且我期望由于除以零的异常而在on_error中看到打印内容。但是，什么也没有发生。该程序只是打开连接并在其中停留了几分钟，然后才停止。

有任何提示吗？我一直在环顾四周，找不到任何东西。

谢谢！