index.jsp 2.9 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071
  1. <%@ page import="java.util.regex.Pattern" %>
  2. <%@ page import="java.util.regex.Matcher" %>
  3. <%@ page language="java" contentType="text/html; charset=UTF-8"
  4. pageEncoding="UTF-8"%>
  5. <%@ page session="true" %>
  6. <%
  7. String path = request.getContextPath();
  8. String basePath = request.getScheme()+"://"+request.getServerName()+":"+request.getServerPort()+path+"/";
  9. String baseUrl = request.getScheme()+"://"+request.getServerName()+":"+request.getServerPort()+"/";
  10. String t = String.valueOf(System.currentTimeMillis());
  11. String theme = request.getParameter("theme");
  12. String css_name = "ext-all-access.css";
  13. String company_code = request.getParameter("company_code");
  14. if(company_code==null)
  15. company_code = "";
  16. if (!myRegex(company_code)){
  17. company_code = "";
  18. }
  19. if(theme!=null){
  20. if(theme.equals("gray"))
  21. css_name = "ext-all-gray.css";
  22. else if(theme.equals("access"))
  23. css_name = "ext-all-access.css";
  24. else if(theme.equals("neptune"))
  25. css_name = "ext-neptune.css";
  26. else if(theme.equals("default"))
  27. css_name = "ext-all.css";
  28. else if(theme.equals("scoped"))
  29. css_name = "ext-all-scoped";
  30. else if(theme.equals("ie"))
  31. css_name = "ext-ie.css";
  32. else if(theme.equals("sandbox"))
  33. css_name = "ext-sandbox.css";
  34. else if(theme.equals("standard"))
  35. css_name = "ext-standard.css";
  36. else {
  37. theme="";
  38. }
  39. }
  40. %>
  41. <%!
  42. public boolean myRegex (String str){
  43. Pattern pattern = Pattern.compile("^[0-9]*$");
  44. Matcher matcher = pattern.matcher(str);
  45. return matcher.matches();
  46. }
  47. %>
  48. <!DOCTYPE html>
  49. <html>
  50. <head>
  51. <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  52. <link type="text/css" rel="stylesheet" href="<%=basePath+"res/extjs/resources/css/"+css_name %>"/>
  53. <link type="text/css" rel="stylesheet" href="<%=basePath+"res/img/myImages.css?" %>"/>
  54. <link type="text/css" rel="stylesheet" href="<%=basePath+"res/css/style.css?" %>"/>
  55. <script type="text/javascript" src="<%=basePath+"res/jquery/jquery-3.3.1.min.js" %>"></script>
  56. <script type="text/javascript" src ="<%=basePath+"res/extjs/ext-all.js" %>"></script>
  57. <script type="text/javascript" src ="<%=basePath+"res/extjs/locale/ext-lang-zh_CN.js" %>"></script>
  58. <script type="text/javascript" src ="<%=basePath+"view/inspectors/scripts/inspectors.js?" %>"></script>
  59. <title>巡检人管理</title>
  60. </head>
  61. <body>
  62. <input type="hidden" id="theme" name="theme" value="<%=theme %>"/>
  63. <input type="hidden" id="basePath" name="basePath" value="<%=basePath %>"/>
  64. <input type="hidden" id="company_code" name="company_code" value="<%=company_code %>"/>
  65. <input type="hidden" id="V_LOGINNAME" name="V_LOGINNAME" value=""/>
  66. <input type="hidden" id="V_PASSWORD" name="V_PASSWORD" value=""/>
  67. <input type="hidden" id="name" name="name" value=""/>
  68. <input type="hidden" id="phone" name="phone" value=""/>
  69. <input type="hidden" id="zn" name="zn" value=""/>
  70. </body>
  71. </html>