|
ErrorResource |
|
/* ** Rachel - Resource Loading Toolkit for Web Start/JNLP ** Copyright (c) 2001, 2002 by Gerald Bauer ** ** This program is free software. ** ** You may redistribute it and/or modify it under the terms of the GNU ** General Public License as published by the Free Software Foundation. ** Version 2 of the license should be included with this distribution in ** the file LICENSE, as well as License.html. If the license is not ** included with this distribution, you may find a copy at the FSF web ** site at 'www.gnu.org' or 'www.fsf.org', or you may write to the ** Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139 USA. ** ** THIS SOFTWARE IS PROVIDED AS-IS WITHOUT WARRANTY OF ANY KIND, ** NOT EVEN THE IMPLIED WARRANTY OF MERCHANTABILITY. THE AUTHOR ** OF THIS SOFTWARE, ASSUMES _NO_ RESPONSIBILITY FOR ANY ** CONSEQUENCE RESULTING FROM THE USE, MODIFICATION, OR ** REDISTRIBUTION OF THIS SOFTWARE. ** */ package rachel.http.resource; import java.util.*; import rachel.http.*; import rachel.util.*; public class ErrorResource implements WebResource { private byte _data[]; private Http.Error _error; public ErrorResource( Http.Error error ) { _error = error; StringBuffer html = new StringBuffer(); html.append( "<HTML>\r\n" ); html.append( "<HEAD><TITLE>" + error.getMessage() + "</TITLE>\r\n" ); html.append( "</HEAD>\r\n" ); html.append( "<BODY>\r\n" ); html.append( "<H1>HTTP Error " + error.getCode() + ": " + error.getMessage() + "</H1>\r\n" ); html.append( "</BODY></HTML>\r\n" ); _data = html.toString().getBytes(); } public String getContentType() { return "text/html"; } public byte[] getData() { return _data; } public String getHeader() { StringBuffer header = new StringBuffer(); header.append( "HTTP/1.0 " + _error.getCode() + " " + _error.getMessage() + "\r\n" ); header.append( Http.Header.DATE + ": " + DateUtils.getHttpDate() + "\r\n" ); header.append( Http.Header.SERVER + ": " + Http.SERVER_ID + "\r\n" ); header.append( Http.Header.CONTENT_LENGTH + ": " + getData().length + "\r\n" ); header.append( Http.Header.CONTENT_TYPE + ": " + getContentType() + "\r\n" ); header.append( "\r\n" ); return header.toString(); } }
|
ErrorResource |
|