public class WaitingRefreshHandler extends Object implements RefreshHandler
If you want a refresh handler that ignores the wait time, see
ImmediateRefreshHandler.
| Constructor and Description |
|---|
WaitingRefreshHandler()
Creates a new refresh handler that will always wait whatever time the server or content asks.
|
WaitingRefreshHandler(int maxwait)
Creates a new refresh handler that will wait whatever time the server or content asks, unless
it it longer than
maxwait. |
| Modifier and Type | Method and Description |
|---|---|
void |
handleRefresh(Page page,
URL url,
int requestedWait)
Refreshes the specified page using the specified URL after the specified number of seconds.
|
public WaitingRefreshHandler(int maxwait)
maxwait. A value of maxwait that is less than 1
will cause the refresh handler to always wait for whatever time the server or content requests.maxwait - the maximum wait time before the refresh (in seconds)public WaitingRefreshHandler()
public void handleRefresh(Page page, URL url, int requestedWait) throws IOException
handleRefresh in interface RefreshHandlerpage - the page that is going to be refreshedurl - the URL where the new page will be loadedrequestedWait - the number of seconds to wait before reloading the page; if this is
greater than maxwait then maxwait will be used insteadIOException - if the refresh failsCopyright © 2002–2025 Gargoyle Software Inc.. All rights reserved.