redrawNavi was a one-line function invoked in only one place.

Inline it.

diff --git a/tools/htdocs/mkws.js b/tools/htdocs/mkws.js
index 53d07fe..6d03d07 100644 (file)
--- a/tools/htdocs/mkws.js
+++ b/tools/htdocs/mkws.js
@@ -576,12 +576,6 @@ function team($, teamName) {
     }
 
 
-    function redrawNavi ()
-    {
-       queue("navi").publish();
-    }
-
-
     function resetPage()
     {
        m_currentPage = 1;
@@ -592,7 +586,7 @@ function team($, teamName) {
     function triggerSearch (query, sortOrder, targets)
     {
        resetPage();
-       redrawNavi();
+       queue("navi").publish();
 
        var pp2filter = "";
        var pp2limit = "";