--- 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