diff --git a/js/mods.js b/js/mods.js index c8cfab1b8c3d6285f26872ca56d28945e82a8909..f20142761ae4c9ed2cd01f718a9deca1f3182252 100644 --- a/js/mods.js +++ b/js/mods.js @@ -1296,7 +1296,7 @@ function edit_module(evt) { update_module(idnumber) win.close() } - if (filename != "") { + if (filename != "undefined" && != "") { var btn = document.createElement('button') btn.appendChild(document.createTextNode('reload from server')) btn.style.padding = mods.ui.padding