// RedirectException.java
// Copyright (c) Hannes Wallnöfer 1998-2000

package helma.framework;

import FESI.Exceptions.EcmaScriptException;

/** 
 * RedirectException is thrown internally when a response is redirected to a
 * new URL.
 */
 
public class RedirectException extends EcmaScriptException {

    String url;

    public RedirectException (String url) {
	super ("Redirection Request to "+url);
	this.url = url;
    }
    
    public String getMessage () {
    	return url;
    }
    
    public void printStackTrace(java.io.PrintStream s) { 

    }

    public void printStackTrace(java.io.PrintWriter w) {
    
    }

}
