@@ -135,7 +135,7 @@
function detailedInfo(message) {
var str = message;
var alert_string = str.replace(/<br?>/gi, "\n").replace(/<pre?>/gi, "").replace(/<\/pre?>/gi, "");
- alert(alert_string)
+ alert(alert_string);
}
</script>