|
a/tool/src/utils/html.java |
|
b/tool/src/utils/html.java |
|
... |
|
... |
| 300 |
/**
|
300 |
/**
|
| 301 |
* This method provides the HTML code to automatically redirect to a
|
301 |
* This method provides the HTML code to automatically redirect to a
|
| 302 |
* different web page
|
302 |
* different web page
|
| 303 |
* @param URL the target URL
|
303 |
* @param URL the target URL
|
| 304 |
* @param delay hoe many seconds to wait
|
304 |
* @param delay hoe many seconds to wait
|
|
|
305 |
* @param message a Message to the end user
|
| 305 |
* @return the HTML code that is provided to the end user
|
306 |
* @return the HTML code that is provided to the end user
|
| 306 |
*/
|
307 |
*/
|
| 307 |
public static String redirect(String URL, int delay){
|
308 |
public static String redirect(String URL, int delay, String message){
|
| 308 |
return "<html><head>"
|
309 |
return "<html><head>"
|
| 309 |
+ "<meta http-equiv=\"refresh\" CONTENT=\""
|
310 |
+ "<meta http-equiv=\"refresh\" CONTENT=\""
|
| 310 |
+ delay
|
311 |
+ delay
|
| 311 |
+"; URL="
|
312 |
+"; URL="
|
| 312 |
+ URL
|
313 |
+ URL
|
| 313 |
+ "\">"
|
314 |
+ "\">"
|
|
|
315 |
+ "</head><body>"
|
|
|
316 |
+ message
|
| 314 |
+ "</head><body></body></html>";
|
317 |
+ "</body></html>";
|
| 315 |
}
|
318 |
}
|
| 316 |
|
319 |
|
| 317 |
/**
|
320 |
/**
|
| 318 |
* Provides just the meta tag for the HTML portion of the request
|
321 |
* Provides just the meta tag for the HTML portion of the request
|
| 319 |
* @param URL the page to load
|
322 |
* @param URL the page to load
|