From 2681321da7a6c02655b92fc46832c5d80f90e6c1 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Fri, 21 Mar 2014 12:48:42 +0000
Subject: [PATCH] redrawNavi was a one-line function invoked in only one
 place. Inline it.

---
 tools/htdocs/mkws.js |    8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/tools/htdocs/mkws.js b/tools/htdocs/mkws.js
index 53d07fe..6d03d07 100644
--- 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 = "";
-- 
1.7.10.4