web/views/basecontrollers.py
branchstable
changeset 5758 37968502da70
parent 5626 c80e8aa1935e
child 5762 730d458ec1bf
child 5864 9b7c11e80d20
--- a/web/views/basecontrollers.py	Wed Jun 16 09:53:17 2010 +0200
+++ b/web/views/basecontrollers.py	Wed Jun 16 12:24:11 2010 +0200
@@ -543,12 +543,12 @@
             cookies[statename] = nodeeid
             self._cw.set_cookie(cookies, statename)
         else:
-            marked = set(filter(None, treestate.value.split(';')))
+            marked = set(filter(None, treestate.value.split(':')))
             if nodeeid in marked:
                 marked.remove(nodeeid)
             else:
                 marked.add(nodeeid)
-            cookies[statename] = ';'.join(marked)
+            cookies[statename] = ':'.join(marked)
             self._cw.set_cookie(cookies, statename)
 
     @jsonize