core.portmanager: Hint at HTTP servers for conflicts over port 443
Since 443 is just as much a web port as port 80 these days, if not more.
What's with port 81 here?
--- a/core/portmanager.lua Sat Jul 29 01:42:19 2023 +0200
+++ b/core/portmanager.lua Sat Jul 29 02:00:55 2023 +0200
@@ -50,7 +50,7 @@
if port == 5222 or port == 5223 or port == 5269 then
friendly_message = "check that Prosody or another XMPP server is "
.."not already running and using this port";
- elseif port == 80 or port == 81 then
+ elseif port == 80 or port == 81 or port == 443 then
friendly_message = "check that a HTTP server is not already using "
.."this port";
elseif port == 5280 then