()
| 478 | } |
| 479 | |
| 480 | function startAutoRefresh() { |
| 481 | if (state.autoRefresh && !refreshInterval) { |
| 482 | refreshInterval = setInterval(() => { |
| 483 | getDatabaseInfo(undefined, true, true) // Skip loading query params during auto-refresh |
| 484 | }, 1000) |
| 485 | } |
| 486 | } |
| 487 | |
| 488 | function stopAutoRefresh() { |
| 489 | if (refreshInterval) { |
no test coverage detected