Interface RefreshHandler

src/main/java/org/htmlunit/RefreshHandler.java:27–39

A handler for page refreshes. A refresh can be triggered by a response header or a meta tag. @author Mike Bowler @author Daniel Gredler @author Ronald Brill

 * @author Ronald Brill
 */
public interface RefreshHandler {

    /**
     * Refreshes the specified page using the specified URL after the specified number
     * of seconds.
     * @param page the page that is going to be refreshed
     * @param url the URL where the new page will be loaded
     * @param seconds the number of seconds to wait before reloading the page
     * @throws IOException if the refresh fails
     */
    void handleRefresh(Page page, URL url, int seconds) throws IOException;

}