В Wed, 19 Nov 2014 08:54:24 -0800
Alan Perry <ape...@snowmoose.com> пишет:

> 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
> Grub-devel@gnu.org
> https://lists.gnu.org/mailman/listinfo/grub-devel


_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to