try {
- if (ext_info) {
- if (ext_info.responseText) {
- ext_info = ext_info.responseText;
- }
- }
+ if (ext_info)
+ ext_info = JSON.stringify(ext_info);
try {
new Ajax.Request("backend.php", {
return;
} else {
Element.show(n);
+ new Effect.Highlight(n);
}
/* types:
console.log('reading init-params...');
for (k in params) {
- var v = params[k];
- console.log("IP: " + k + " => " + v);
-
- if (k == "label_base_index") _label_base_index = parseInt(v);
+ console.log("IP: " + k + " => " + JSON.stringify(params[k]));
+ if (k == "label_base_index") _label_base_index = parseInt(params[k]);
}
init_params = params;