jruaux      2003/01/30 06:19:45

  Modified:    Eclipse-Plugin/src/java/org/apache/cactus/eclipse/ui
                        CactusPreferences.java
  Log:
  Changed Tomcat40 to Tomcat4x
  
  Revision  Changes    Path
  1.7       +8 -8      
jakarta-cactus/Eclipse-Plugin/src/java/org/apache/cactus/eclipse/ui/CactusPreferences.java
  
  Index: CactusPreferences.java
  ===================================================================
  RCS file: 
/home/cvs/jakarta-cactus/Eclipse-Plugin/src/java/org/apache/cactus/eclipse/ui/CactusPreferences.java,v
  retrieving revision 1.6
  retrieving revision 1.7
  diff -u -r1.6 -r1.7
  --- CactusPreferences.java    22 Jan 2003 10:45:53 -0000      1.6
  +++ CactusPreferences.java    30 Jan 2003 14:19:45 -0000      1.7
  @@ -102,9 +102,9 @@
       public static final String TEMP_DIR = "temp_Dir";
   
       /**
  -     * Home directory of Tomcat 4.0.
  +     * Home directory of Tomcat 4.x.
        */
  -    public static final String TOMCAT40_DIR = "tomcat.40";
  +    public static final String TOMCAT4X_DIR = "tomcat4x";
   
       /**
        * Home directory of Resin 2.0.
  @@ -197,14 +197,14 @@
           return result;
       }
       /**
  -     * Returns the TOMCAT40_DIR.
  +     * Returns the TOMCAT4X_DIR.
        * @return String
        */
  -    public static String getTomcat40Dir()
  +    public static String getTomcat4xDir()
       {
           IPreferenceStore store = CactusPlugin.getDefault().getPreferenceStore();
  -        String result = store.getString(TOMCAT40_DIR);
  -        CactusPlugin.log("Cactus preference : Tomcat40Dir = [" + result + "]");
  +        String result = store.getString(TOMCAT4X_DIR);
  +        CactusPlugin.log("Cactus preference : Tomcat4xDir = [" + result + "]");
           return result;
       }
   
  @@ -240,10 +240,10 @@
       public static ContainerHome[] getContainerHomes()
       {
           Vector containerHomes = new Vector();
  -        if (!getTomcat40Dir().equals(""))
  +        if (!getTomcat4xDir().equals(""))
           {
               containerHomes.addElement(
  -                new ContainerHome(TOMCAT40_DIR, getTomcat40Dir()));
  +                new ContainerHome(TOMCAT4X_DIR, getTomcat4xDir()));
           }
           if (!getResin20Dir().equals(""))
           {
  
  
  

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

Reply via email to