diff options
| author | Kevin Rocard <kevin.rocard@intel.com> | 2015-01-13 17:18:44 +0100 |
|---|---|---|
| committer | Philippe Afonso <philippex.afonso@intel.com> | 2015-02-18 11:13:28 +0100 |
| commit | 96e3a00ec93d76d90aede5538c882caafe23849f (patch) | |
| tree | 48be0abd19ea0dcdb874af120bc6536b826590df /tools | |
| parent | 2f23dba7b1ffbe72979f6c78c3d103b1244f0ead (diff) | |
| download | external_parameter-framework-96e3a00ec93d76d90aede5538c882caafe23849f.zip external_parameter-framework-96e3a00ec93d76d90aede5538c882caafe23849f.tar.gz external_parameter-framework-96e3a00ec93d76d90aede5538c882caafe23849f.tar.bz2 | |
[Workaround][xmlGenerator] Increase retry on EADDRINUSE
During host domain generation, a port must be chosen before spawning a servers,
producing an error if someone else uses it before the server.
This race was workaround by retiring 10 times before failing.
This divided the failure probability by 10, but is no longer sufficient.
A correct implementation without this race is currently been developed
(without socket) but until then change the retry number from 10 to 1000.
Signed-off-by: Kevin Rocard <kevin.rocard@intel.com>
Tracked-On: https://jira01.devtools.intel.com/browse/IMINAN-17358
Change-Id: Ie80e4508952ef150eb999d9a6fa7e60b61825f35
Reviewed-on: https://android.intel.com:443/319856
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/xmlGenerator/hostDomainGenerator.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/xmlGenerator/hostDomainGenerator.sh b/tools/xmlGenerator/hostDomainGenerator.sh index 4222382..1a7d315 100755 --- a/tools/xmlGenerator/hostDomainGenerator.sh +++ b/tools/xmlGenerator/hostDomainGenerator.sh @@ -245,7 +245,7 @@ changeSocketsPorts() { # Start the pfw using different socket if it fails safeStartPFW () { local retry=0 - local nbRetry=10 + local nbRetry=1000 # Workaround to avoid build failure, it very very rarely fail this many time # Choose a new pair of socket ports changeSocketsPorts |