Function performPing

runtime/src/js/pgadmin.js:307–353

()

  let pingStartTime = (new Date).getTime();
  
  function performPing() {
    // If ping request is already send and response is not
    // received no need to send another request.
    if (pingInProgress) {
      pingTimeoutID = setTimeout(performPing, currentPingInterval);
      return;
    }

    pingInProgress = true;
    pingServer().then(() => {
      pingInProgress = false;
      splashWindow.webContents.executeJavaScript('document.getElementById(\'loader-text-status\').innerHTML = \'pgAdmin 4 started\';', true);
      // Set the pgAdmin process object to misc
      misc.setProcessObject(pgadminServerProcess);

      clearTimeout(pingTimeoutID);
      let appEndTime = (new Date).getTime();
      misc.writeServerLog('------------------------------------------');
      misc.writeServerLog('Total time taken to ping pgAdmin4 server: ' + (appEndTime - pingStartTime) / 1000 + ' Sec');
      misc.writeServerLog('------------------------------------------');
      misc.writeServerLog('Total launch time of pgAdmin4: ' + (appEndTime - appStartTime) / 1000 + ' Sec');
      misc.writeServerLog('------------------------------------------');
      launchPgAdminWindow();
    }).catch(() => {
      pingInProgress = false;
      let curTime = (new Date).getTime();
      // if the connection timeout has lapsed then throw an error
      // and stop pinging the server.
      if (curTime >= endTime) {
        showErrorDialog(pingTimeoutID);
        return;
      }

      if (curTime > midTime1) {
        if (curTime < midTime2) {
          splashWindow.webContents.executeJavaScript('document.getElementById(\'loader-text-status\').innerHTML = \'Taking longer than usual...\';', true);
        } else {
          splashWindow.webContents.executeJavaScript('document.getElementById(\'loader-text-status\').innerHTML = \'Almost there...\';', true);
        }
      }

      pingTimeoutID = setTimeout(performPing, currentPingInterval);
      if (currentPingInterval < 1000) {
        currentPingInterval = Math.min(currentPingInterval * 2, 1000);
      }
    });
  }
  
  performPing();
}