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