Changes the port type returned from url.parse() to an actual integer, as

opposed to a string that represents an integer. Fixes #833, fixes #817.

scripts/http-form-brute.nse

@@ -347,7 +347,7 @@ local function path_ok (path, hostname, port)
   if pparts.authority then
     if pparts.userinfo
       or ( pparts.host ~= hostname )
-      or ( pparts.port and tonumber(pparts.port) ~= port.number ) then
+      or ( pparts.port and pparts.port ~= port.number ) then
       return false
     end
   end