remm        2002/05/31 14:08:03

  Modified:    catalina/src/share/org/apache/catalina/servlets
                        ManagerServlet.java
  Log:
  - Save configuration when undeploying.
  
  Revision  Changes    Path
  1.24      +15 -4     
jakarta-tomcat-4.0/catalina/src/share/org/apache/catalina/servlets/ManagerServlet.java
  
  Index: ManagerServlet.java
  ===================================================================
  RCS file: 
/home/cvs/jakarta-tomcat-4.0/catalina/src/share/org/apache/catalina/servlets/ManagerServlet.java,v
  retrieving revision 1.23
  retrieving revision 1.24
  diff -u -r1.23 -r1.24
  --- ManagerServlet.java       24 May 2002 18:01:50 -0000      1.23
  +++ ManagerServlet.java       31 May 2002 21:08:03 -0000      1.24
  @@ -1,7 +1,7 @@
   /*
  - * $Header: 
/home/cvs/jakarta-tomcat-4.0/catalina/src/share/org/apache/catalina/servlets/ManagerServlet.java,v
 1.23 2002/05/24 18:01:50 remm Exp $
  - * $Revision: 1.23 $
  - * $Date: 2002/05/24 18:01:50 $
  + * $Header: 
/home/cvs/jakarta-tomcat-4.0/catalina/src/share/org/apache/catalina/servlets/ManagerServlet.java,v
 1.24 2002/05/31 21:08:03 remm Exp $
  + * $Revision: 1.24 $
  + * $Date: 2002/05/31 21:08:03 $
    *
    * ====================================================================
    *
  @@ -198,7 +198,7 @@
    * </ul>
    *
    * @author Craig R. McClanahan
  - * @version $Revision: 1.23 $ $Date: 2002/05/24 18:01:50 $
  + * @version $Revision: 1.24 $ $Date: 2002/05/31 21:08:03 $
    */
   
   public class ManagerServlet
  @@ -1130,6 +1130,17 @@
               log("ManagerServlet.undeploy[" + displayPath + "]", t);
               writer.println(sm.getString("managerServlet.exception",
                                           t.toString()));
  +        }
  +
  +        // Saving configuration
  +        Server server = ServerFactory.getServer();
  +        if ((server != null) && (server instanceof StandardServer)) {
  +            try {
  +                ((StandardServer) server).store();
  +            } catch (Exception e) {
  +                writer.println(sm.getString("managerServlet.saveFail",
  +                                            e.getMessage()));
  +            }
           }
   
       }
  
  
  

--
To unsubscribe, e-mail:   <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>

Reply via email to