cubicweb/server/session.py
changeset 11767 432f87a63057
parent 11765 9cb215e833b0
child 11774 51c160677afe
equal deleted inserted replaced
11766:d8de1ac21f36 11767:432f87a63057
    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 
    19 from __future__ import print_function
    20 from __future__ import print_function
    20 
       
    21 __docformat__ = "restructuredtext en"
       
    22 
    21 
    23 import functools
    22 import functools
    24 import sys
    23 import sys
    25 from time import time
    24 from time import time
    26 from uuid import uuid4
    25 from uuid import uuid4