Reported already on berlios bugtracker: https://developer.berlios.de/bugs/?func=detailbug&bug_id=12990&group_id=2230 With some sort of patch: https://developer.berlios.de/patch/?func=detailpatch&patch_id=2498&group_id=2230
--RZ
Reported already on berlios bugtracker: https:/ /developer. berlios. de/bugs/ ?func=detailbug &bug_id= 12990&group_ id=2230 /developer. berlios. de/patch/ ?func=detailpat ch&patch_ id=2498& group_id= 2230
With some sort of patch: https:/
--RZ