misc/migration/3.10.0_common.py
author Julien Cristau <julien.cristau@logilab.fr>
Fri, 16 Oct 2015 16:44:36 +0200
changeset 10796 26a36c2a5fbd
parent 6012 d56fd78006cd
permissions -rw-r--r--
[devtools] delete postgresql socket directory after killing the server ... or when failing to start it.

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