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