Re: Switching to another boot device on failure

Switching to the next boot device should not be done without advertising the user, so that he or she has the opportunity to fix the primary device's booting process. By the way, how is the "recordfail" environment variable reset ? And wouldn't it be possible to implement a "next_boot_device" envi

Re: IDE compilation

On Tuesday, November 18, 2014, Michael Heng wrote: > Hello, > > I want to know what a IDE do you all use? I just have download the grub 2 > project. Can you advise me how to setting up eclipse to import as a > project, how can I debug it? > Please, don't post mail in HTML format. That's not goo

HTTP with other ports

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 co

Re: HTTP with other ports

В Wed, 19 Nov 2014 08:54:24 -0800 Alan Perry пишет: > 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 synta

Re: HTTP with other ports

On 11/19/14, 9:09 AM, Andrei Borzenkov wrote: В Wed, 19 Nov 2014 08:54:24 -0800 Alan Perry пишет: 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 thinkin

Re: HTTP with other ports

В Wed, 19 Nov 2014 09:27:00 -0800 Alan Perry пишет: > On 11/19/14, 9:09 AM, Andrei Borzenkov wrote: > > В Wed, 19 Nov 2014 08:54:24 -0800 > > Alan Perry пишет: > > > >> 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,

Re: HTTP with other ports

On 11/19/14, 10:22 AM, Andrei Borzenkov wrote: В Wed, 19 Nov 2014 09:27:00 -0800 Alan Perry пишет: On 11/19/14, 9:09 AM, Andrei Borzenkov wrote: В Wed, 19 Nov 2014 08:54:24 -0800 Alan Perry пишет: Has anyone come up with a general way to change the port number in the http module? Right no

Re: HTTP with other ports

В Wed, 19 Nov 2014 13:23:05 -0800 Alan Perry пишет: > On 11/19/14, 10:22 AM, Andrei Borzenkov wrote: > > В Wed, 19 Nov 2014 09:27:00 -0800 > > Alan Perry пишет: > > > >> On 11/19/14, 9:09 AM, Andrei Borzenkov wrote: > >>> В Wed, 19 Nov 2014 08:54:24 -0800 > >>> Alan Perry пишет: > >>> > Ha