You are viewing a plain text version of this content. The canonical link for it is here.
Posted to slide-dev@jakarta.apache.org by pn...@apache.org on 2003/08/29 10:55:35 UTC

cvs commit: jakarta-slide/src/webdav/server/org/apache/slide/webdav/method OptionsMethod.java

pnever      2003/08/29 01:55:35

  Modified:    src/webdav/server/org/apache/slide/webdav/method
                        OptionsMethod.java
  Log:
  Fixed Bug 22704 (BUGZILLA)
  
  Revision  Changes    Path
  1.35      +8 -13     jakarta-slide/src/webdav/server/org/apache/slide/webdav/method/OptionsMethod.java
  
  Index: OptionsMethod.java
  ===================================================================
  RCS file: /home/cvs/jakarta-slide/src/webdav/server/org/apache/slide/webdav/method/OptionsMethod.java,v
  retrieving revision 1.34
  retrieving revision 1.35
  diff -u -r1.34 -r1.35
  --- OptionsMethod.java	18 Aug 2003 06:56:42 -0000	1.34
  +++ OptionsMethod.java	29 Aug 2003 08:55:35 -0000	1.35
  @@ -179,25 +179,20 @@
           
           resp.addHeader( "DAV", davHeader.toString() );
           
  -        davHeader = new StringBuffer();
           if( Configuration.useVersionControl() ) {
  +            davHeader = new StringBuffer();
               davHeader.append( F_VERSION_CONTROL );
               davHeader.append( ", " ).append( F_VERSION_HISTORY );
               davHeader.append( ", " ).append( F_CHECKOUT_IN_PLACE );
  -        }
  -        
  -        resp.addHeader( "DAV", davHeader.toString() );
  -        
  -        davHeader = new StringBuffer();
  -        if( Configuration.useVersionControl() ) {
  +            resp.addHeader( "DAV", davHeader.toString() );
  +            
  +            davHeader = new StringBuffer();
               davHeader.append( F_WORKSPACE );
               davHeader.append( ", " ).append( F_WORKING_RESOURCE );
               davHeader.append( ", " ).append( F_UPDATE );
               davHeader.append( ", " ).append( F_LABEL );
  +            resp.addHeader( "DAV", davHeader.toString() );
           }
  -        
  -        resp.addHeader( "DAV", davHeader.toString() );
  -        
           
           String resourceUri = requestUri;
           if (resourceUri == null) {