#18 JS-Error in Monitor Widget

[Bodo von der Heiden]

If I add the Monitor Widget http://role-is.dbis.rwth-aachen.de:9080/gadgets/monitor/gadget.xml to a own rolespace, I get the following JS-Error:
evt_counter is not defined
[Break on this error] alert("<h3>Event #" + (evt_counter++) + "</h3>" + toString(envelope));