📄 runbat.jsp
字号:
<%@ page language="java" import="java.util.*,java.io.*" pageEncoding="GBK"%>
<%
String path = request.getContextPath();
String basePath = request.getScheme()+"://"+request.getServerName()+":"+request.getServerPort()+path+"/";
%>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<base href="<%=basePath%>">
<title>My JSP '3-3.jsp' starting page</title>
<meta http-equiv="pragma" content="no-cache">
<meta http-equiv="cache-control" content="no-cache">
<meta http-equiv="expires" content="0">
<meta http-equiv="keywords" content="keyword1,keyword2,keyword3">
<meta http-equiv="description" content="This is my page">
<!--
<link rel="stylesheet" type="text/css" href="styles.css">
-->
</head>
<body>
<%
String filename=request.getParameter("filename");
String fromfile=request.getRealPath("\\")+"htz/"+filename+".java";
String topath="D:/htztemp/";
String tofile=topath+filename+".java";
// 若指定目录不存在则创建
File file = new File(topath);
if(!file.isDirectory()) file.mkdirs();
FileReader fr=new FileReader(fromfile);
BufferedReader br=new BufferedReader(fr);
FileWriter fw=new FileWriter(tofile);
BufferedWriter bw=new BufferedWriter(fw);
String line=br.readLine();
while(line!=null){
bw.write(line);
bw.newLine();
line=br.readLine();
}
bw.flush();
bw.close();
fw.close();
br.close();
fr.close();
FileWriter fw1=new FileWriter(topath+"run.bat");
BufferedWriter bw1=new BufferedWriter(fw1);
bw1.write("@javac "+filename+".java");
bw1.newLine();
bw1.write("@java "+filename);
bw1.newLine();
bw1.write("@pause");
bw1.flush();
bw1.close();
fw1.close();
Runtime runtime = Runtime.getRuntime();
//runtime.exec("cmd /c start /D\""+basePath+"bat\\\" "+request.getParameter("filename"));
runtime.exec("cmd /c start /D\""+topath+"\" run.bat");
//out.println("dfgdfgdfs");
%>
<script type="text/javascript">
window.close();
</script>
</body>
</html>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -