Added some logging for start-up time and changed the ping time from every second to 250 milliseconds.
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=b1f6664292b8e8578bf0eab123553b355e146902
Modified Files
--------------
runtime/src/js/pgadmin.js | 13 ++++++++++++-
1 file changed, 12 insertions(+), 1 deletion(-)