Re: [PATCH] Avoid reusing the same TCP port number

2015-01-13 Thread Valentin Dornauer
Hello Andrey, On Thu, Jul 03, 2014 at 10:41:25PM +0400, Andrey Borzenkov wrote: > May be you can simply use grub_get_time_ms()? After all, we are not > interested in exact time, just in some pseudo-random distribution. It > should have less overhead than grub_get_datetime(). I finally got around

Re: [PATCH] Avoid reusing the same TCP port number

2014-07-03 Thread Andrey Borzenkov
В Tue, 1 Jul 2014 13:53:49 +0200 Valentin Dornauer пишет: > Hi! > Attached is another patch from our internal repository. I am not > certain that it will work under any circumstances and it has only > been tested on x86 hardware, so please use with care! > > We had some very annoying issues with

[PATCH] Avoid reusing the same TCP port number

2014-07-01 Thread Valentin Dornauer
Hi! Attached is another patch from our internal repository. I am not certain that it will work under any circumstances and it has only been tested on x86 hardware, so please use with care! We had some very annoying issues with quick consecutive reboots, as GRUB would reuse the same TCP port number