tree 38411103496d1de93db60d9b091fd4d32561517b
parent 44d0e52d2065dbcaa01ac29b4488c7bbd7b1e76c
author Jonah Williams <jonahwilliams@google.com> 1604027254 -0700
committer GitHub <noreply@github.com> 1604027254 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfm4N2CRBK7hj4Ov3rIwAAdHIIAINmbrPaJWCi3SXeMgJqnqpy
 3m3G36WREXAZpuIvconhlVsCHdA6MYk5Ej9JRfuCEIVZSjhJzB5BC6H2W4L6aevP
 rjQITBkLoHdSPNDWQ9NalWmbBtCx+b/OHsBm6fVDuPvRJtLYVXvgrGYhqHUhwWrm
 OMIRwf3dNT02E99BRyjnPBOLcz6mNm8kjkByFI+dVAvk8xJilMGjxBTm1Io0fV6D
 WYLaiKaVBZvARnNuFQCGIjS2RvwxinjxuBrBStR5rTOwsAvaOufg/dzMJH7WFHV1
 fNYmo063m/u51Vou8pa9yNckubDqYTJsUwAJryvKPb8Z+hoApaq4zNEZR7ABGKs=
 =356N
 -----END PGP SIGNATURE-----
 

[flutter_tools] retry sever socket setup (and port selection if port is unspecified) (#69351)

Fixes #69348

If the web development server fails to bind, then retry up to 5 times. If a port was not provided, select a new free port each time.