Page element selection is done by jQuery.
authorMike Taylor <mike@indexdata.com>
Fri, 7 Feb 2014 17:23:57 +0000 (17:23 +0000)
committerMike Taylor <mike@indexdata.com>
Fri, 7 Feb 2014 17:23:57 +0000 (17:23 +0000)
tools/htdocs/mkws.js

index aedef95..f5a1a9e 100644 (file)
@@ -260,8 +260,8 @@ function team($, teamName) {
        debug("show");
        m_totalRec = data.merged;
 
-       var pager = document.getElementById("mkwsPager");
-       if (pager) {
+       var pager = $("#mkwsPager");
+       if (pager.length) {
            drawPager(pager, data);
        }
 
@@ -684,7 +684,7 @@ function team($, teamName) {
 
        s += '<div style="float: clear">'
             + prev + predots + middle + postdots + next + '</div>';
-       pagerDiv.innerHTML = s;
+       pagerDiv.html(s);
     }