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 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
