[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gpsd-dev] [PATCH 2/3] leapsecond.py: set a socket timeout for slow
|
From: |
Beat Bolli |
|
Subject: |
Re: [gpsd-dev] [PATCH 2/3] leapsecond.py: set a socket timeout for slow servers. |
|
Date: |
Thu, 31 Oct 2013 23:32:21 +0100 |
|
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:24.0) Gecko/20100101 Thunderbird/24.0.1 |
On 31.10.13 23:16, Greg Troxel wrote:
>
> Beat Bolli <address@hidden> writes:
>
>> I have problems connecting to maia.usno.navy.mil, and setting a socket
>> timeout at least doesn't block the build process.
>
> ?
>
> It's a bug if the build tries to fetch anything by default.
The fetch is conditional:
if 'dev' in gpsd_version or not os.path.exists('leapseconds.cache'):
You think the first term should be removed?
Beat
--
mail: echo '<address@hidden>' | tr -d '[A-S]'
pgp: 0x506A903A; 49D5 794A EA77 F907 764F D89E 304B 93CF 506A 903A
gsm: 4.7.7.6.0.7.7.9.7.1.4.e164.arpa
icbm: 47.0452 N, 7.2715 E
"It takes love over gold, and mind over matter" -- Dire Straits
signature.asc
Description: OpenPGP digital signature