Get rid of a bit of unused Javascript code.

diff --git a/query.cgi b/query.cgi
index bb4dfb527fdbf1a34b279cb9bffb05b3ae0f3231..b82e811a3a1042c93d985ce14d48c2f9a40a4e0f 100755 (executable)
--- a/query.cgi
+++ b/query.cgi
@@ -289,7 +289,6 @@ Array.prototype.push = array_push;
 
 var cpts = new Array();
 var vers = new Array();
-var agt=navigator.userAgent.toLowerCase();
 ENDSCRIPT
 
 
@@ -328,7 +327,6 @@ $jscript .= q{
 // Only display versions/components valid for selected product(s)
 
 function selectProduct(f) {
-    var agt=navigator.userAgent.toLowerCase();
     // Netscape 4.04 and 4.05 also choke with an "undefined"
     // error.  if someone can figure out how to "define" the
     // whatever, we'll remove this hack.  in the mean time, we'll