| commit | 5d23e6d54352db7c64d152dbabef798340127ccb | [log] [tgz] |
|---|---|---|
| author | Antoine Pitrou <solipsis@pitrou.net> | Sun Sep 29 22:18:38 2013 +0200 |
| committer | Antoine Pitrou <solipsis@pitrou.net> | Sun Sep 29 22:18:38 2013 +0200 |
| tree | 014cb6e1ea26a7c9f25e565874c7b3b41ed1b54a | |
| parent | 95536b8405e318457ea41f8f10ee645231b48faa [diff] |
Issue #5845: In site.py, only load readline history from ~/.python_history if no history has been read already. This avoids double writes to the history file at shutdown.