##// END OF EJS Templates
Catch ValueError when filling readline history, and warn...
Thomas Kluyver -
Show More
@@ -482,10 +482,12 b' class TerminalInteractiveShell(InteractiveShell):'
482 stdin_encoding))
482 stdin_encoding))
483 last_cell = cell
483 last_cell = cell
484
484
485 except TypeError:
485 except (TypeError, ValueError) as e:
486 # The history DB can get corrupted so it returns strings
486 # The history DB can get corrupted so it returns strings
487 # containing null bytes, which readline objects to.
487 # containing null bytes, which readline objects to.
488 continue
488 warn(("Failed to add string to readline history.\n"
489 "Error: {}\n"
490 "Cell: {!r}").format(e, cell))
489
491
490 #-------------------------------------------------------------------------
492 #-------------------------------------------------------------------------
491 # Things related to the terminal
493 # Things related to the terminal
General Comments 0
You need to be logged in to leave comments. Login now