On 3-aug-2007, at 22:57, Hans Wolters wrote:
> Thanks all, they contacted me. Hope the issue will be solved soon.
>
At this moment the js shell does not contain the bug anymore. The
'chat to the students does
show the bug but that might be due to old cookies.
Thanks again all.
Hans