diff options
| author | Jason A. Donenfeld <Jason@zx2c4.com> | 2021-05-26 18:03:44 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2021-05-26 18:07:28 +0200 |
| commit | fe61522f2aceea1b2681fe8493a54d321b952218 (patch) | |
| tree | 8920334e8b6ee4632a7d9427a98a2465f3a286d1 /settings.gradle | |
| parent | 24ded8070f0c584b80ce692c41fc56e52a3ab315 (diff) | |
tunnel: retry DNS resolution for 10 seconds
This has several problems: 1) it blocks the main thread; 2) it doesn't
distinguish between a permanent error and a transient one; 3) the 10
seconds is hard coded; 4) there's no way for the user to cancel it.
We'll have to improve this.
Signed-off-by: Jason A. Donenfeld <Jason@zx2c4.com>
Diffstat (limited to 'settings.gradle')
0 files changed, 0 insertions, 0 deletions