📄 write.java
字号:
import java.io.*;
import javax.servlet.*;
import javax.servlet.http.*;
public class Write extends HttpServlet
{
File f=null;
String use="yes";
public void init(ServletConfig config) throws ServletException
{
super.init(config);
}
public void doPost(HttpServletRequest request,HttpServletResponse response) throws IOException,ServletException
{
String content=request.getParameter("content");
PrintWriter out=response.getWriter();
response.setContentType("text/html;charset=GB2312");
out.println("<HTML><BODY>");
f=new File("d:/Tomcat/webapps/root","story.txt");
if(use.startsWith("yes"))
{
synchronized(f)
{
use="using";
try
{
RandomAccessFile file=new RandomAccessFile(f,"rw");
file.seek(file.length());
file.writeUTF(content);
file.close();
use="yes";
out.print("<BR>"+"The content has been written.");
} catch(IOException e){}
}
}
else
out.print("The story is being written, please wait.");
out.println("</BODY></HTML>");
}
public void doGet(HttpServletRequest request,HttpServletResponse response) throws IOException,ServletException
{
doPost(request,response);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -