📄 envservlet.java
字号:
package MyNa.utils;
// servlet class EnvServlet, which provides a few
// environment functions so that servlet classes
// which extend it can conveniently set environment
// values from an environment, initparameters, or
// explicit default strings, adding a prefix (often
// a filepath) if required
import javax.servlet.*; // communicate with client
import javax.servlet.http.*;
import MyNa.utils.Env; // basic package
public class EnvServlet extends HttpServlet {
public String setStr(Env E,String resNm,String pre,String nm,String dflt){
//sets E[resNm] to pre+(getInitParameter(nm) or E[nm] or dflt)
String val=getInitParameter(nm);
if(null==val)val=E.getStr(nm);
if(null==val)val=dflt;
E.put(resNm,pre+val);
return pre+val;
}
public String setStr(Env E,String nm,String pre,String dflt){
//sets E[nm] to pre+(getInitParameter(nm) or E[nm] or dflt)
return setStr(E,nm,pre,nm,dflt);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -