diff options
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 |