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 refreshed.url
- The URL where the new page will be loaded.seconds
- The number of seconds to wait before reloading the page.IOException
- if the refresh failsCopyright © 2002-2012 Gargoyle Software Inc.. All Rights Reserved.