And now the problem has disappeared. I recently upgraded to the new High Sierra. Perhaps it was related to that?
On Thursday, March 29, 2018 at 3:19:29 PM UTC-4, Gideon Simpson wrote: > > More weird stuff. If I open a terminal and immediately close it (with > Ctrl-D), it's fine. If I do anything, even > ls > then when I hit Ctrl-D, I generate that error. > > > On Tuesday, March 27, 2018 at 12:30:17 AM UTC-4, Gideon Simpson wrote: >> >> When trying to close a terminal in jupyter, I get the following error. >> Any suggestions? >> >> >> >> [E 00:23:09.324 NotebookApp] Uncaught exception in /terminals/websocket/1 >> >> Traceback (most recent call last): >> >> File "/anaconda3/lib/python3.6/site-packages/tornado/websocket.py", >> line 498, in _run_callback >> >> result = callback(*args, **kwargs) >> >> File >> "/anaconda3/lib/python3.6/site-packages/notebook/terminal/handlers.py", >> line 37, in on_message >> >> super(TermSocket, self).on_message(message) >> >> File >> "/anaconda3/lib/python3.6/site-packages/terminado/websocket.py", line 81, >> in on_message >> >> self.terminal.ptyproc.write(command[1]) >> >> File >> "/anaconda3/lib/python3.6/site-packages/ptyprocess/ptyprocess.py", line >> 829, in write >> >> return super(PtyProcessUnicode, self).write(b) >> >> File >> "/anaconda3/lib/python3.6/site-packages/ptyprocess/ptyprocess.py", line >> 555, in write >> >> return self._writeb(s, flush=flush) >> >> File >> "/anaconda3/lib/python3.6/site-packages/ptyprocess/ptyprocess.py", line >> 547, in _writeb >> >> self.fileobj.flush() >> >> OSError: [Errno 5] Input/output error >> >> >> >> >> >> -- You received this message because you are subscribed to the Google Groups "Project Jupyter" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/2cc81f26-2e8d-4355-86dd-515fcd8331bd%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
