В 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