index.jsp
上传用户:guhaomin
上传日期:2007-06-10
资源大小:23203k
文件大小:6k
源码类别:

电子政务应用

开发平台:

Java

  1. <%
  2. /**
  3.  * $RCSfile: index.jsp,v $
  4.  * $Revision: 1.4 $
  5.  * $Date: 2000/12/18 02:06:21 $
  6.  */
  7. %>
  8. <%@ page 
  9. import="java.io.*,
  10.             java.util.*,
  11.             com.coolservlets.forum.*,
  12.             com.coolservlets.forum.util.*,
  13.         com.coolservlets.forum.util.tree.*,
  14.         com.coolservlets.forum.util.admin.*" %>
  15. <jsp:useBean id="adminBean" scope="session"
  16.  class="com.coolservlets.forum.util.admin.AdminBean"/>
  17. <% //////////////////////////////
  18. // Jive installation check
  19. // Check for the existence of the property "setup" in the 
  20. // jive.properties file. This is managed by the PropertyManager class.
  21. // This property tells us if the admin tool is being run for the first time.
  22. boolean setupError = false;
  23. String installed = null;
  24. try {
  25. installed = PropertyManager.getProperty("setup");
  26. if( installed == null || !installed.equals("true") ) {
  27. // the "installed" property doesn't exist or isn't set
  28. response.sendRedirect("setup/setup.jsp");
  29. return;
  30. }
  31. //else if( !installed.equals("true") ) {
  32. // setupError = true;
  33. //}
  34. }
  35. catch( Exception e ) {
  36. // signal an error. the file jive.properties might not exist.
  37. setupError = true;
  38. }
  39. // print out a setup error:
  40. if( setupError ) { %>
  41. <html>
  42. <head>
  43. <title>BBS管理程序</title>
  44. <link rel="stylesheet" href="style/global.css">
  45. </head>
  46. <body>
  47. 设置错误,请确认配置文件<b>jive.properties</b>在应用服务器的classpath中。
  48. </body>
  49. </html>
  50. <% // for some reason, we have to call flush.. some app servers won't
  51. // display the above html w/o flushing the stream
  52. out.flush();
  53. return;
  54. }
  55. %>
  56. <% ////////////////////////////////
  57. // Jive authorization check
  58. // check the bean for the existence of an authorization token.
  59. // Its existence proves the user is valid. If it's not found, redirect
  60. // to the login page
  61. Authorization authToken = adminBean.getAuthToken();
  62. if( authToken == null ) {
  63. response.sendRedirect( "/mainctrl/bbs/admin" );
  64. return;
  65. }
  66. %>
  67. <% ////////////////////////
  68. // get parameters
  69. boolean logout = ParamUtils.getBooleanParameter(request,"logout");
  70. %>
  71. <% /////////////////////////
  72. // logout if requested:
  73. if( logout ) {
  74. try {
  75. //session.invalidate();
  76. adminBean.resetAuthToken();
  77. }
  78. catch( IllegalStateException ignored ) { // if session is already invalid
  79. }
  80. finally {
  81. response.sendRedirect( "/mainctrl/bbs/admin" );
  82. //response.sendRedirect( "index.jsp" );
  83. return;
  84. }
  85. }
  86. %>
  87. <% ///////////////////////////////////////
  88. // Get the permissions for this user:
  89. boolean isSystemAdmin = ((Boolean)session.getValue("jiveAdmin.systemAdmin")).booleanValue();
  90. boolean isForumAdmin  = ((Boolean)session.getValue("jiveAdmin.forumAdmin")).booleanValue();
  91. boolean isGroupAdmin  = ((Boolean)session.getValue("jiveAdmin.groupAdmin")).booleanValue();
  92. %>
  93. <% //////////////////////////////////////////////////////////////////
  94. // set the menu trees in the bean based on the user's permissions
  95. // system tree
  96. if( isSystemAdmin || isGroupAdmin ) {
  97. com.coolservlets.forum.util.tree.Tree systemTree 
  98. = new com.coolservlets.forum.util.tree.Tree("system");
  99. int nodeID = 0;
  100. TreeNode node = null;
  101. if( isSystemAdmin ) {
  102. node = new TreeNode( nodeID++, "系统设置" );
  103. node.addChild( new TreeLeaf("缓存", "cache.jsp") );
  104. node.addChild( new TreeLeaf("数据库信息", "dbInfo.jsp") );
  105. node.addChild( new TreeLeaf("查询设置", "searchSettings.jsp") );
  106. node.addChild( new TreeLeaf("参数管理", "propManager.jsp") );
  107. node.setVisible(true);
  108. systemTree.addChild(node);
  109. }
  110. if( isSystemAdmin ) {
  111. node = new TreeNode( nodeID++, "用户" );
  112. node.addChild( new TreeLeaf("用户列表", "users.jsp") );
  113. //node.addChild( new TreeLeaf("System Admins", "systemAdmins.jsp") );
  114. node.addChild( new TreeLeaf("口令维护", "password.jsp") );
  115. node.addChild( new TreeLeaf("创建用户", "createUser.jsp") );
  116. //node.addChild( new TreeLeaf("Edit User",   "editUser.jsp") );
  117. node.addChild( new TreeLeaf("删除用户", "removeUser.jsp") );
  118. node.setVisible(true);
  119. systemTree.addChild(node);
  120. }
  121. if( isSystemAdmin || isGroupAdmin ) {
  122. node = new TreeNode( nodeID++, "用户组" );
  123. node.addChild( new TreeLeaf("用户组列表", "groups.jsp") );
  124. if( isSystemAdmin ) {
  125. node.addChild( new TreeLeaf("创建用户组", "createGroup.jsp") );
  126. }
  127. node.addChild( new TreeLeaf("编辑用户组",   "editGroup.jsp") );
  128. node.addChild( new TreeLeaf("删除用户组", "removeGroup.jsp") );
  129. node.setVisible(true);
  130. systemTree.addChild(node);
  131. }
  132. if( systemTree.size() > 0 ) {
  133. adminBean.addTree( "systemTree", systemTree );
  134. }
  135. }
  136. // forum tree
  137. if( isSystemAdmin ) {
  138. com.coolservlets.forum.util.tree.Tree forumTree 
  139. = new com.coolservlets.forum.util.tree.Tree("forum");
  140. int nodeID = 0;
  141. TreeNode node = null;
  142. node = new TreeNode( nodeID++, "论坛设置" );
  143. node.addChild( new TreeLeaf("论坛列表",     "forums.jsp") );
  144. node.addChild( new TreeLeaf("创建论坛",      "createForum.jsp") );
  145. node.addChild( new TreeLeaf("论坛属性", "editForum.jsp") );
  146. node.addChild( new TreeLeaf("删除论坛",      "removeForum.jsp") );
  147. node.addChild( new TreeLeaf("过滤器设置",     "forumFilters.jsp") );
  148. node.addChild( new TreeLeaf("内容管理",     "forumContent.jsp") );
  149. node.setVisible(true);
  150. forumTree.addChild(node);
  151. adminBean.addTree( "forumTree", forumTree );
  152. }
  153. %>
  154. <html>
  155. <head>
  156. <title>BBS论坛管理</title>
  157. </head>
  158. <frameset rows="85,*" bordercolor="#0099cc" border="0" frameborder="0" framespacing="0" style="background-color:#0099cc">
  159. <frame src="header.jsp" name="header" scrolling="no" marginheight="0" marginwidth="0" noresize>
  160. <%--frame src="toolbar.jsp" name="toolbar" scrolling="no" noresize--%>
  161. <frameset cols="175,*" bordercolor="#0099cc" border="0" frameborder="0" style="background-color:#0099cc">
  162. <frame src="sidebar.jsp" name="sidebar" scrolling="auto" marginheight="0" marginwidth="0" noresize>    
  163. <frameset rows="15,*" bordercolor="#0099cc" border="0" frameborder="0" style="background-color:#0099cc">
  164. <frame src="shadow.html" name="shadow" scrolling="no" marginheight="0" marginwidth="0" noresize>    
  165. <frame src="main.jsp" name="main" scrolling="auto" noresize>
  166. </frameset>
  167. </frameset>
  168. </frameset>
  169. </html>