From bd78a81d712a18e78d6608cc1a85acc66be09603 Mon Sep 17 00:00:00 2001
From: Brittokki <Brittokki@192.168.0.6>
Date: Wed, 2 Sep 2020 11:50:33 -0700
Subject: [PATCH]

---
 examples/src/HttpServletExamples/HttpWebPageSource.java | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/examples/src/HttpServletExamples/HttpWebPageSource.java b/examples/src/HttpServletExamples/HttpWebPageSource.java
index 5996b569a4..d97e81ef3e 100644
--- a/examples/src/HttpServletExamples/HttpWebPageSource.java
+++ b/examples/src/HttpServletExamples/HttpWebPageSource.java
@@ -27,9 +27,12 @@ public class HttpWebPageSource {
            
            // We request an IP to connect to a web server running on default http port 80.
            
-           String WEB_ADDRESS = "www.nps.edu";
-           System.out.println("New socket WEB_ADDRESS=" + WEB_ADDRESS);
-           Socket socket = new Socket(WEB_ADDRESS, 80); // compare alternative: https on port 443
+           String WEB_SERVER_ADDRESS = "www.nps.edu";
+           int WEB_SERVER_PORT_HTTP =80;
+           int WEB_SERVER_PORT_HTTPS =443;
+           System.out.println("New socket WEB_ADDRESS=" + WEB_SERVER_ADDRESS);
+           
+           Socket socket = new Socket(WEB_SERVER_ADDRESS, WEB_SERVER_PORT_HTTPS); // compare alternative: https on port 443
            
            // we send a command to the web server, asking for what
            // we want. Note that the format for the command is very
-- 
GitLab