Show More
@@ -482,10 +482,12 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