hardcoded 8080 port on links?

[arademaker]

docker pull apease/sigmakee2018:latest
docker run -it -d -p 4000:8080 --name trial04 apease/sigmakee2018:latest "./sigmastart.sh"

note the port redirection

Browsing

http://localhost:4000/sigma/Browse.jsp?flang=SUO-KIF&lang=EnglishLanguage&kb=SUMO&term=Basin

I tried to click on the term orientation but it gives me back an error. Actually, all links are pointing the port 8080 like http://localhost:8080/sigma/Browse.jsp...

[apease]

need to change the config.xml "port" parameter in the docker files

[arademaker]

This issue is about some (possible problematic) mentions to 8080 in the Java code:

java/SigmaStatusCheck.java
52           if (!containsSUMO("http://localhost:8080/sigma/KBs.jsp") && !emailSentFile.exists()) {
68                   msg.setText("The Sigma main page at http://sigma.ontologyportal.org:8080/sigma/KBs.jsp is down.");
79           else if (containsSUMO("http://localhost:8080/sigma/KBs.jsp") && emailSentFile.exists()) {

java/TPTPWorld/InterfaceTPTP.java
698  							port = "8080";

java/com/articulate/sigma/Diagnostics.java
779              port = "8080";

java/com/articulate/sigma/KBmanager.java
249              preferences.put("port","8080");

java/com/articulate/sigma/HTMLformatter.java
118              port = "8080";

java/com/articulate/sigma/SigmaCheck.java
122  		String url = "http://sigma-01.cim3.net:8080/sigma/KBs.jsp";

java/com/articulate/sigma/Graph.java
272                  port = "8080";

java/com/articulate/sigma/CELTTestSuite.java
70               port = "8080";

[apease]

the first is a check for the public server, that is always 8080. Some of the others are just defaults. But I'll double check