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.