window.addEventListener("load", function () {onload (); onload = null}, false); if (top!=self) { top.location.href = self.location.href; } function onload () { } function updateForm () { showOption ("table", false); setTimeout (function () {showOption ("table", true);}, 0); } function showOption (name, show) { var obj = document.getElementById (name); if (obj) { obj.className = (show) ? "" : "hidden"; } } function hasChanged (name) { var form = new Form (); switch (name) { case 'createdb': showOption ("id_createdb_1", form.get ("createdb")); showOption ("id_createdb_2", form.get ("createdb")); showOption ("id_createdb_3", form.get ("createdb")); showOption ("id_createdb_4", form.get ("createdb")); showOption ("id_createdb_5", form.get ("createuser")); updateForm (); case 'createuser': showOption ("id_createdb_5", form.get ("createuser")); updateForm (); case 'createtables': showOption ("id_createtables_1", form.get ("createtables")); updateForm (); break; case 'insertbackup': showOption ("id_insertbackup_1", form.get ("insertbackup")); showOption ("id_insertbackup_2", form.get ("insertbackup", "")); showOption ("id_insertbackup_3", form.get ("insertbackup")); updateForm (); break; case 'use_default_data': document.getElementById ("id_use_default_data").disabled = form.get ("use_default_data"); break; } } // Debugmeldung ausgeben: function d (message) { try { console.log (message); } catch (e) {} }