📄 connectionprop.java
字号:
// ConnectionProp.java// $Id: ConnectionProp.java,v 1.9 2000/08/16 21:37:40 ylafon Exp $// (c) COPYRIGHT MIT and INRIA, 1996.// Please first read the full copyright statement in file COPYRIGHT.htmlpackage org.w3c.jigsaw.http;import org.w3c.tools.resources.Attribute;import org.w3c.tools.resources.AttributeRegistry;import org.w3c.tools.resources.BooleanAttribute;import org.w3c.tools.resources.IntegerAttribute;import org.w3c.jigsaw.config.PropertySet;/** * A wrapper class to give access to editable properties through a resource. * This class allows to reuse entirely the generic resource editor to * edit the properties of the server. */class ConnectionProp extends PropertySet { private static String title = "Connection properties"; static { Class c = null; Attribute a = null; try { c = Class.forName("org.w3c.jigsaw.http.ConnectionProp"); } catch (Exception ex) { ex.printStackTrace(); System.exit(1); } // Keep-Alive flag: a = new BooleanAttribute(httpd.KEEP_ALIVE_P , null , Attribute.EDITABLE); AttributeRegistry.registerAttribute(c, a); // Client's threads priority: a = new IntegerAttribute(httpd.CLIENT_PRIORITY_P , null , Attribute.EDITABLE); AttributeRegistry.registerAttribute(c, a); // Client's buffer size a = new IntegerAttribute(httpd.CLIENT_BUFSIZE_P , null , Attribute.EDITABLE); AttributeRegistry.registerAttribute(c, a); // Client's debug flag a = new BooleanAttribute(httpd.CLIENT_DEBUG_P , null , Attribute.EDITABLE); AttributeRegistry.registerAttribute(c, a); // Request time out: a = new IntegerAttribute(httpd.REQUEST_TIMEOUT_P , null , Attribute.EDITABLE); AttributeRegistry.registerAttribute(c, a); } /** * Get this property set title. * @return A String encoded title. */ public String getTitle() { return title; } ConnectionProp(String name, httpd server) { super(name, server); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -