From 183e6c28b8a8041261b8e1494267261382ce1040 Mon Sep 17 00:00:00 2001
From: paulino <paulino@e0a8ed71-7df4-0310-8962-fdc924857419>
Date: Fri, 10 Jun 2011 01:08:05 +0000
Subject: [PATCH] Added default ports for Apache Tomcat web server.

---
 nselib/shortport.lua | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/nselib/shortport.lua b/nselib/shortport.lua
index ed8fdc58a..4bcb5b7c7 100644
--- a/nselib/shortport.lua
+++ b/nselib/shortport.lua
@@ -162,7 +162,11 @@ end
 -- <code>false</code> otherwise.
 -- @usage
 -- portrule = shortport.http
-http = shortport.port_or_service({80, 443, 631, 8080, 5800, 3872},
+
+--[[
+  Apache Tomcat HTTP server default ports: 8180 and 8000
+--]]
+http = shortport.port_or_service({80, 443, 631, 8080, 5800, 3872, 8180, 8000},
 	{"http", "https", "ipp", "http-alt", "vnc-http", "oem-agent"})
 
 local LIKELY_SSL_PORTS = {