From b39c0515f193be28d39c32753f0796801d9c4b45 Mon Sep 17 00:00:00 2001
From: paulino <paulino@e0a8ed71-7df4-0310-8962-fdc924857419>
Date: Fri, 10 Jun 2011 02:39:59 +0000
Subject: [PATCH] Added HTTP SSL default port for Apache Tomcat.

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

diff --git a/nselib/shortport.lua b/nselib/shortport.lua
index 4bcb5b7c7..194a20dd7 100644
--- a/nselib/shortport.lua
+++ b/nselib/shortport.lua
@@ -165,8 +165,9 @@ end
 
 --[[
   Apache Tomcat HTTP server default ports: 8180 and 8000
+  Apache Tomcat SSL HTTP default ports: 8443
 --]]
-http = shortport.port_or_service({80, 443, 631, 8080, 5800, 3872, 8180, 8000},
+http = shortport.port_or_service({80, 443, 631, 8080, 5800, 3872, 8180, 8000, 8443},
 	{"http", "https", "ipp", "http-alt", "vnc-http", "oem-agent"})
 
 local LIKELY_SSL_PORTS = {