[jBoss-Dev] CVS update: contrib/jetty/src/main/org/jboss/jettyJettyService.java

[jBoss CVS Development]

  User: jules   
  Date: 00/11/15 14:35:26

  Modified:    jetty/src/main/org/jboss/jetty JettyService.java
  Log:
  fix build script to work with standard Jetty releases as well as CVS builds
  
  Revision  Changes    Path
  1.2       +3 -3      contrib/jetty/src/main/org/jboss/jetty/JettyService.java
  
  Index: JettyService.java
  ===================================================================
  RCS file: 
/products/cvs/ejboss/contrib/jetty/src/main/org/jboss/jetty/JettyService.java,v
  retrieving revision 1.1
  retrieving revision 1.2
  diff -u -r1.1 -r1.2
  --- JettyService.java 2000/11/10 01:10:14     1.1
  +++ JettyService.java 2000/11/15 22:35:26     1.2
  @@ -27,7 +27,7 @@
    *      
    *   @see <related>
    *   @author <a href="mailto:[EMAIL PROTECTED]">Julian Gosnell</a>
  - *   @version $Revision: 1.1 $
  + *   @version $Revision: 1.2 $
    */
   public class JettyService extends ServiceMBeanSupport
     implements JettyServiceMBean, MBeanRegistration
  @@ -139,7 +139,7 @@
     {
       // should check whether already stopped ? TODO
   
  -    System.out.println("Stopping Jetty - if using sun jdk 1.3 on linux, waits 1min 
for sun bug 4386498... ");
  +    System.out.println("Stopping Jetty - if using sun jdk 1.3 on linux, waits 1 
minute for Sun bug 4386498... ");
       try {_server.stop();} catch (Exception e) {e.printStackTrace();}
       System.out.println("Jetty Stopped");
     }
  @@ -161,7 +161,7 @@
         String contextPath=path+"/*";
         // force Jetty to recognise this as a dir and not an archive
         String warDir=warUrl+(warUrl.endsWith("/")?"":"/");
  -      // give Jetty it's correct default resource file
  +      // give Jetty it's correct default resource file - should be parameterised...
         String defaultResource=_home+"/etc/webdefault.xml";
   
         System.out.println("About to deploy - "+contextPath+" maps to "+warDir);