Use null instead of undefined on after parsing JSON

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 710653131a58cb40fc84201c40035afcb36acc69..392e84ea5f26d25e1a15362e50cccfd5c1c0d904 100644 (file)
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -239,7 +239,7 @@ function checkboxClick(event, el) {
 function setHtml(id, html) {
        var el = document.getElementById(id);
        if (el) {
-               if (html == undefined) {
+               if (html == null) {
                        el.parentNode.innerHTML = ' ';
                } else {
                        el.innerHTML = html;