Searched refs:refreshSignalHandlerInterval (Results 1 – 1 of 1) sorted by relevance
121 private refreshSignalHandlerInterval: NodeJS.Timeout | undefined; property in RefreshManager133 this.refreshSignalHandlerInterval = setInterval(194 if (this.refreshSignalHandlerInterval) {195 clearInterval(this.refreshSignalHandlerInterval);