Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / jigsaw / resources / WebDAVDirectoryResource.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigsaw/resources/WebDAVDirectoryResource.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigsaw/resources/WebDAVDirectoryResource.java
new file mode 100644 (file)
index 0000000..08151fa
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigsaw/resources/WebDAVDirectoryResource.java
@@ -0,0 +1,20 @@
+// HttpDirectoryResource.java\r
+// $Id: WebDAVDirectoryResource.java,v 1.1 2010/06/15 12:20:41 smhuang Exp $\r
+// (c) COPYRIGHT MIT, ERCIM and Keio, 2005.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.jigsaw.resources ;\r
+\r
+public class WebDAVDirectoryResource extends DirectoryResource {\r
+\r
+  public void initialize(Object values[]) {\r
+    super.initialize(values);\r
+    try {\r
+      registerFrameIfNone("org.w3c.jigsaw.webdav.DAVFrame",\r
+                         "webdav-frame");\r
+    } catch (Exception ex) {\r
+      ex.printStackTrace();\r
+    }\r
+  }\r
+\r
+}\r