Mat Sutcliffe da66aee67d Make datastore ping interval configurable ...

And don't bother sending pings more frequently if
the server is struggling to reply to every one.

2021-01-07 18:49:38 +00:00

..

bootstrap

Make datastore ping interval configurable

2021-01-07 18:49:38 +00:00

dbdata

Updated the JSON files from DB

2020-06-12 18:42:43 +01:00

updateinfo

refs #921, new file is distribution.json

2017-04-18 00:07:05 +01:00

index.html

Shared index.html

2019-02-22 20:35:45 +00:00