urequests: Support explicit port number in a URL.

urequests/urequests.py

@@ -39,7 +39,12 @@ def request(method, url, data=None, json=None, headers={}, stream=None):
     if proto != "http:":
         raise ValueError("Unsupported protocol: " + proto)
 
-    ai = usocket.getaddrinfo(host, 80)
+    port = 80
+    if ":" in host:
+        host, port = host.split(":", 1)
+        port = int(port)
+
+    ai = usocket.getaddrinfo(host, port)
     addr = ai[0][4]
     s = usocket.socket()
     s.connect(addr)