add support for other ports than 443

Author: Max Weller

default-rom/notification_db.cpp

@@ -17,6 +17,12 @@ void pullNotifications() {
     Serial.println(channelIterator.filename(""));
 
     String host = channelIterator.host();
+    int port = 443;
+    int portidx = host.indexOf(":");
+    if (portidx != -1 ) {
+      port = host.substring(portidx+1).toInt();
+      host=host.substring(0,portidx);
+    }
     String url = channelIterator.url();
     String fingerprint = channelIterator.fingerprint();
 
@@ -25,8 +31,10 @@ void pullNotifications() {
 
     WiFiClientSecure client;
     Serial.print("connecting to ");
-    Serial.println(host);
-    if (!client.connect(host.c_str(), 443)) {
+    Serial.print(host);
+    Serial.print(" port ");
+    Serial.println(port);
+    if (!client.connect(host.c_str(), port)) {
       Serial.println("connection failed");
       continue;
     }