--- ./src/webdav/server/org/apache/slide/webdav/method/OptionsMethod.java	Sun Aug 17 23:56:42 2003
+++ /Users/csharpl/Downloads/eclipse/workspace/jakarta-slide/./src/webdav/server/org/apache/slide/webdav/method/OptionsMethod.java	Fri Aug 22 16:41:29 2003
@@ -179,26 +179,26 @@
         
         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() );
         }
         
-        resp.addHeader( "DAV", davHeader.toString() );
         
-        davHeader = new StringBuffer();
         if( Configuration.useVersionControl() ) {
+            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) {
             resourceUri = "/";