📄 servercontext.java
字号:
/*
* ServerContext.java
*
* Created on 26. Januar 2004, 11:34
*/
package org.jconfig.server;
import java.io.File;
/**
*
* @author mecky
*/
public class ServerContext {
private String documentRoot;
public ServerContext() {
}
/** Getter for property documentRoot.
* @return Value of property documentRoot.
*
*/
public String getDocumentRoot() {
return documentRoot;
}
/** Setter for property documentRoot.
* @param documentRoot New value of property documentRoot.
*
*/
public void setDocumentRoot(String documentRoot) {
if ( !documentRoot.endsWith(File.separator) ) {
documentRoot += File.separator;
}
this.documentRoot = documentRoot;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -