--- /dev/null
+<HTML>\r
+<HEAD>\r
+ <!-- Created by GNNpress -->\r
+ <TITLE>The FileResource administration guide.</TITLE>\r
+<!-- Changed by: Anselm Baird-Smith, 4-Feb-1997 -->\r
+</HEAD>\r
+<BODY BGCOLOR="white">\r
+<A HREF="http://www.w3.org/pub/WWW/" TARGET="_top_">\r
+ <IMG SRC="/icons/WWW/w3c_home.gif"\r
+ ALT="W3C"\r
+ BORDER="0" WIDTH="72" HEIGHT="48"></A>\r
+<A HREF="http://www.w3.org/pub/WWW/Jigsaw/" TARGET="_top_">\r
+ <IMG SRC="/icons/jigsaw" ALT="Jigsaw" BORDER="0">\r
+</A>\r
+<HR>\r
+<A HREF="resources.html">All Resources</A> \r
+<A HREF="filters.html">All filters </A>\r
+<HR>\r
+<H1>\r
+ FileResource\r
+</H1>\r
+<P>\r
+The basic resource to serve files. This resource allows you to export files,\r
+and can be configured to handle the HTTP PUT method.\r
+<P>\r
+ <HR>\r
+<H2>\r
+ Inherits\r
+</H2>\r
+<P>\r
+The <A HREF="../api/w3c.jigsaw.resources.FileResource.html">FileResource</A>\r
+class inherits from the following classes:\r
+<UL>\r
+ <LI>\r
+ <A HREF="w3c.jigsaw.resources.FilteredResource.html">FilteredResource</A>\r
+</UL>\r
+<P>\r
+ <HR>\r
+<H2>\r
+ Attributes description\r
+</H2>\r
+<P>\r
+The FileResource defines the following attributes:\r
+<UL>\r
+ <LI>\r
+ <A HREF="#filename">filename</A>\r
+ <LI>\r
+ <A HREF="#putable">putable</A>\r
+ <LI>\r
+ <A HREF="#filestamp">filestamp</A>\r
+</UL>\r
+<P>\r
+ <HR>\r
+<CODE><A NAME="filename">filename</A></CODE>\r
+<DL>\r
+ <DT>\r
+ <I>semantics</I>\r
+ <DD>\r
+ The optional name of the file to be served by the file resource. By default,\r
+ the file resource will serve the file's having the resource's name. You can\r
+ define this attribute in order to change the URL to file mapping. E.g. you\r
+ can serve the file <CODE>foo.html </CODE>through the name\r
+ <CODE>oof.html</CODE>, by setting the <CODE>foo.html</CODE> filename attribute\r
+ to <CODE>off.html</CODE>.\r
+ <DT>\r
+ <I>type</I>\r
+ <DD>\r
+ This attribute is a editable\r
+ <A HREF="../api/w3c.jigsaw.resources.FilenameAttribute.html">FilenameAttribute</A>.\r
+ <DT>\r
+ <I>default value</I>\r
+ <DD>\r
+ This attribute is undefined by default.\r
+</DL>\r
+<P>\r
+ <HR>\r
+<CODE><A NAME="putable">putable</A></CODE>\r
+<DL>\r
+ <DT>\r
+ <I>semantics</I>\r
+ <DD>\r
+ Should the file resource support <B>PUT</B> requets ? When this flag is\r
+ <B>true</B>, the file resource object will handle appropriately the HTTP\r
+ <B>PUT</B> method, by overriding the resource's file with the new content.\r
+ The old content will be saved using the emacs convention (the <B>~</B> files).\r
+ Care should be taken when turning this feature on: you probably want to use\r
+ some <A HREF="filters.html">authentication filter</A> to ensure that only\r
+ authors are allowed to change resources.\r
+ <DT>\r
+ <I>type</I>\r
+ <DD>\r
+ The attribute is an editable\r
+ <A HREF="../api/w3c.jigsaw.resources.BooleanAttribute.html">BooleanAttribute</A>.\r
+ <DT>\r
+ <I>default value</I>\r
+ <DD>\r
+ This attribute defaults to <B>false</B>.\r
+</DL>\r
+<P>\r
+ <HR>\r
+<CODE><A NAME="filestamp">filestamp</A></CODE>\r
+<DL>\r
+ <DT>\r
+ <I>semantics</I>\r
+ <DD>\r
+ The time at which the file resource checked that it was in sync with the\r
+ underlying file.\r
+ <DT>\r
+ <I>type</I>\r
+ <DD>\r
+ This attribute is a computed, not editable\r
+ <A HREF="../api/w3c.jigsaw.resources.DateAttribute.html">DateAttribute</A>.\r
+ <DT>\r
+ <I>default value</I>\r
+ <DD>\r
+ This attribite defaults to <B>-1</B> (which means its undefined).\r
+</DL>\r
+<P>\r
+ <HR>\r
+<P>\r
+<I><A HREF="mailto:jigsaw@w3.org">Jigsaw Team</A><BR>\r
+$Id: w3c.jigsaw.resources.FileResource.html,v 1.2 1996/04/11 20:56:44 abaird\r
+Exp $</I>\r
+</BODY></HTML>\r
projects / Benchmarks_CSolver.git / blobdiff