debian/source/format
author Pierre-Yves David <pierre-yves.david@logilab.fr>
Fri, 22 Mar 2013 20:04:43 +0100
changeset 8776 cdb261bd36ac
parent 6708 09c98763ae9d
child 12642 5722d8c461eb
permissions -rw-r--r--
[session] make session lock reentrant We are going to use it for other session related business. It is renamed from _closed_lock to _lock in the same move.

1.0