// servletProperties.java // ------------------------------- // (C) 2006 Alexander Schier // part of YaCy // // last major change: 06.02.2006 // this file is contributed by Alexander Schier // // This program is free software; you can redistribute it and/or modify // it under the terms of the GNU General Public License as published by // the Free Software Foundation; either version 2 of the License, or // (at your option) any later version. // // This program is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // // You should have received a copy of the GNU General Public License // along with this program; if not, write to the Free Software // Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 US package de.anomic.server; import de.anomic.http.httpHeader; public class servletProperties extends serverObjects { private static final long serialVersionUID = 1L; private String prefix=""; private httpHeader outgoingHeader; public servletProperties(){ super(); } public servletProperties(serverObjects so){ super(so); } public void setOutgoingHeader(httpHeader outgoingHeader) { this.outgoingHeader=outgoingHeader; } public httpHeader getOutgoingHeader() { if(outgoingHeader!=null) return outgoingHeader; else return new httpHeader(); } public void setPrefix(String myprefix){ prefix=myprefix; } public byte[] put(String key, byte[] value) { return super.put(prefix+key, value); } public String put(String key, String value) { return super.put(prefix+key, value); } public long put(String key, long value) { return super.put(prefix+key, value); } public long inc(String key) { return super.inc(prefix+key); } public Object get(String key, Object dflt) { return super.get(prefix+key, dflt); } public String get(String key, String dflt) { return super.get(prefix+key, dflt); } public int getInt(String key, int dflt) { return super.getInt(prefix+key, dflt); } public long getLong(String key, long dflt) { return super.getLong(prefix+key, dflt); } }