diff options
| author | Aaron LI <aaronly.me@outlook.com> | 2016-11-03 19:17:44 +0800 |
|---|---|---|
| committer | Aaron LI <aaronly.me@outlook.com> | 2016-11-03 19:17:44 +0800 |
| commit | c3e41b62dfdbdbdd17703caf98754531879bd753 (patch) | |
| tree | 1c5b33e602e2e6ddf792aa9d8a10033ec2ff07d9 /bin/healpix2hpx | |
| parent | 8d653b602b8e75011e031a4018625dd4ab203da0 (diff) | |
| download | fg21sim-c3e41b62dfdbdbdd17703caf98754531879bd753.tar.bz2 | |
webui: Add a manual reconnection button to the header banner
Also add a global variable "ws_reconnect" to control the timeout between
reconnection and the maximum reconnection times (default: 100).
Diffstat (limited to 'bin/healpix2hpx')
0 files changed, 0 insertions, 0 deletions