grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: HTTP with other ports


From: Andrei Borzenkov
Subject: Re: HTTP with other ports
Date: Wed, 19 Nov 2014 20:09:59 +0300

В Wed, 19 Nov 2014 08:54:24 -0800
Alan Perry <address@hidden> пишет:

> Has anyone come up with a general way to change the port number in the http 
> module? Right now it is hard coded to be 80, but it is very common to do HTTP 
> over another port number.
> 
> I was thinking about extending the device name syntax for network devices 

Does protocol,server:port conflict with anything? (http,server:1234)/foo

> and/or adding a 'default port' (with a command to set it) to go with
default server. I did an implementation that works for my needs but
don't think it is a good general purpose implementation.
> 
> Has anyone else done work here or have ideas for using alternate port numbers 
> with HTTP?
> 
> alan
> 
> 
> _______________________________________________
> Grub-devel mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/grub-devel




reply via email to

[Prev in Thread] Current Thread [Next in Thread]