misc/migration/3.10.0_common.py
author Julien Cristau <julien.cristau@logilab.fr>
Mon, 05 Dec 2011 14:31:43 +0100
branchstable
changeset 8108 91868ec92391
parent 6012 d56fd78006cd
permissions -rw-r--r--
[migration] Ignore IOError from readline.write_history_file (closes #2106621) We already ignore them when reading the histfile, no reason writing it back should be any different.

option_group_changed('cleanup-session-time', 'web', 'main')