Re: [PATCH 1/4] Allow non-default ports for HTTP requests

2017-01-28 Thread Andrei Borzenkov
24.01.2017 03:35, Matthew Garrett пишет: > Add support for passing ports in HTTP requests. This takes the form of: > (http,serverip:portnum)/file > --- > grub-core/net/http.c | 8 ++-- > grub-core/net/net.c | 10 +- > include/grub/net.h | 1 + > 3 files changed, 16 insertions(+),

[PATCH 1/4] Allow non-default ports for HTTP requests

2017-01-24 Thread Matthew Garrett
Add support for passing ports in HTTP requests. This takes the form of: (http,serverip:portnum)/file --- grub-core/net/http.c | 8 ++-- grub-core/net/net.c | 10 +- include/grub/net.h | 1 + 3 files changed, 16 insertions(+), 3 deletions(-) diff --git a/grub-core/net/http.c b/gru

[PATCH 1/4] Allow non-default ports for HTTP requests

2017-01-23 Thread Matthew Garrett
Add support for passing ports in HTTP requests. This takes the form of: (http,serverip:portnum)/file --- grub-core/net/http.c | 8 ++-- grub-core/net/net.c | 10 +- include/grub/net.h | 1 + 3 files changed, 16 insertions(+), 3 deletions(-) diff --git a/grub-core/net/http.c b/gru