### BrokenPipeError on iBug/Coral at 2020-02-05T01:05:12Z: [Errno 32] Broken pipe
File "ws.py", line 223, in <module>
a = ws.recv()
File "/usr/local/lib/python3.8/site-packages/websocket/_core.py", line 313, in recv
opcode, data = self.recv_data()
File "/usr/local/lib/python3.8/site-packages/websocket/_core.py", line 330, in recv_data
opcode, frame = self.recv_data_frame(control_frame)
File "/usr/local/lib/python3.8/site-packages/websocket/_core.py", line 357, in recv_data_frame
self.send_close()