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–2024 Gargoyle Software Inc.. All rights reserved.