--- /dev/null
+<HTML>\r
+<HEAD>\r
+ <!-- Created by GNNpress -->\r
+ <TITLE>Salvager's Resource refernce manual</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
+ SalvagerResource\r
+</H1>\r
+<P>\r
+This resource is used to check the consistency of the entire resource space.\r
+It also tries to fix problems encountered. It works by walking through the\r
+entire resource space (by running within a very low priority thread). During\r
+this walk, the salvager can encounter several problems:\r
+<UL>\r
+ <LI>\r
+ Cycles within the resource space; these are usually due to old (or unknown)\r
+ implementation bugs\r
+ <LI>\r
+ Unloadable resources, either because their class no longer exists, or because\r
+ the server's class path is not set properly\r
+</UL>\r
+<P>\r
+The salvager should be run until both categories of problems are totally\r
+solved; once all the above problems are fixed, you should run the Salvager\r
+once again to perform a <I>verification</I> of the resource space. This time,\r
+each resource is checked to see if it is still consistent for it to exist,\r
+and deleted if needed. This allows, for example, to make sure that files\r
+that have been indexed but which no longer exists are removed from the resource\r
+space.\r
+<P>\r
+Under any circumstances, it is highly recommended that you backup your\r
+configuration (by archiving <B>Jigsaw</B> configuration directory) before\r
+you run the salvager.\r
+<P>\r
+ <HR>\r
+<H2>\r
+ Inherits\r
+</H2>\r
+<P>\r
+The\r
+<A HREF="../api/w3c.jigsaw.contrib.SalvagerResource.html">SalvagerResource</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 SalvagerResource defines the following attributes:\r
+<UL>\r
+ <LI>\r
+ <A HREF="#logname">logname</A>\r
+</UL>\r
+<P>\r
+ <HR>\r
+<P>\r
+<CODE><A NAME="logname">parent</A></CODE>\r
+<DL>\r
+ <DT>\r
+ <I>semantics</I>\r
+ <DD>\r
+ The name of the file to use as the log for reporting the salvager's result.\r
+ It is recommended that you use a name that will trigger the file to be exported\r
+ (eg by using a <CODE>.txt extension).</CODE>\r
+ <DT>\r
+ <I>type</I>\r
+ <DD>\r
+ This attribute is an editable\r
+ <A HREF="../api/w3c.jigsaw.resources.FilenameAttribute.html">FilenameAttribute</A>\r
+ <DT>\r
+ <I>default value</I>\r
+ <DD>\r
+ This attribute has no default value; when unset log infos will be sent to\r
+ the Java VM standard output.\r
+</DL>\r
+<P>\r
+ <HR>\r
+<P>\r
+<I><A HREF="mailto:jigsaw@w3.org">Jigsaw Team</A><BR>\r
+</I>$Id: w3c.jigsaw.contrib.SalvagerResource.html,v 1.1 1997/01/28 08:09:30\r
+abaird Exp $\r
+<P>\r
+<P>\r
+<P>\r
+</BODY></HTML>\r
projects / Benchmarks_CSolver.git / blobdiff