wdvi

network DVI viewer
Log | Files | Refs

commit 1793582dabed4e7f19dbe3ae9c56a1e4e82bc9f0
parent bfc895c4f59721bd3924873636a9a280a3d716c4
Author: Kyle Milz <krwmilz@gmail.com>
Date:   Mon, 20 Sep 2021 21:31:56 +0000

use port number 443 instead of service name

Diffstat:
Mutil.c | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util.c b/util.c @@ -473,7 +473,7 @@ parse_url(const char dest_url[]) char *reset; url = xmalloc(sizeof(struct url)); - url->port = "https"; + url->port = "443"; url->orig_url = dest_url; url->document = "";