public interface RefreshHandler
| Modifier and Type | Method and Description |
|---|---|
void |
handleRefresh(Page page,
URL url,
int seconds)
Refreshes the specified page using the specified URL after the specified number
of seconds.
|
void handleRefresh(Page page, URL url, int seconds) throws IOException
page - the page that is going to be refreshedurl - the URL where the new page will be loadedseconds - the number of seconds to wait before reloading the pageIOException - if the refresh failsCopyright © 2002–2025 Gargoyle Software Inc.. All rights reserved.