--- a/tool/src/utils/html.java
+++ b/tool/src/utils/html.java
@@ -302,16 +302,19 @@
* different web page
* @param URL the target URL
* @param delay hoe many seconds to wait
+ * @param message a Message to the end user
* @return the HTML code that is provided to the end user
*/
- public static String redirect(String URL, int delay){
+ public static String redirect(String URL, int delay, String message){
return "<html><head>"
+ "<meta http-equiv=\"refresh\" CONTENT=\""
+ delay
+"; URL="
+ URL
+ "\">"
- + "</head><body></body></html>";
+ + "</head><body>"
+ + message
+ + "</body></html>";
}
/**