tree 20f7b89d99ff320f89ebb7025cc71aa2bcef3597
parent 0f00427c39583c905df906ed16843dadce8e19bd
author Josh Bleecher Snyder <josharian@gmail.com> 1753138428 -0700
committer Josh Bleecher Snyder <josharian@gmail.com> 1753152405 -0700

webui: improve reconnection delays

- make them a lot more aggressive,
  as the user is likely sitting and staring at the screen
- make the numbers rounder (easier to grok)
- add some jitter