equal
deleted
inserted
replaced
14 # details. |
14 # details. |
15 # |
15 # |
16 # You should have received a copy of the GNU Lesser General Public License along |
16 # You should have received a copy of the GNU Lesser General Public License along |
17 # with CubicWeb. If not, see <http://www.gnu.org/licenses/>. |
17 # with CubicWeb. If not, see <http://www.gnu.org/licenses/>. |
18 """Repository users' and internal' sessions.""" |
18 """Repository users' and internal' sessions.""" |
19 |
|
20 from __future__ import with_statement |
|
21 |
|
22 __docformat__ = "restructuredtext en" |
19 __docformat__ = "restructuredtext en" |
23 |
20 |
24 import sys |
21 import sys |
25 import threading |
22 import threading |
26 from time import time |
23 from time import time |