web/views/basecontrollers.py
changeset 5762 730d458ec1bf
parent 5715 2c3e83817a8e
parent 5758 37968502da70
child 5868 c4380d8cfc25
--- a/web/views/basecontrollers.py	Wed Jun 16 09:21:49 2010 +0200
+++ b/web/views/basecontrollers.py	Wed Jun 16 14:51:17 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