Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / WWW / User / Reference / w3c.jigsaw.status.ThreadStat.html
diff --git a/JMCR-Stable/real-world application/jigsaw/WWW/User/Reference/w3c.jigsaw.status.ThreadStat.html b/JMCR-Stable/real-world application/jigsaw/WWW/User/Reference/w3c.jigsaw.status.ThreadStat.html

new file mode 100644 (file)

index 0000000..9a39158
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/WWW/User/Reference/w3c.jigsaw.status.ThreadStat.html
@@ -0,0 +1,75 @@
+<HTML>\r
+<HEAD>\r
+  <!-- Created by GNNpress -->\r
+  <TITLE>The ThreadStat 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
+  ThreadStat\r
+</H1>\r
+<P>\r
+The ThreadStat resource allows you to monitor the current set of threads\r
+running inside the server process. This is useful for debugging purposes.\r
+It also gives some feedback on memory usage.\r
+<P>\r
+  <HR>\r
+<H2>\r
+  Inherits\r
+</H2>\r
+<P>\r
+The <A HREF="../api/w3c.jigsaw.status.ThreadStat.html">ThreadStat</A> class\r
+inherits from the following classes:\r
+<UL>\r
+  <LI>\r
+    <A HREF="w3c.jigsaw.resources.HTTPResource.html">HTTPResource</A>\r
+</UL>\r
+<P>\r
+  <HR>\r
+<H2>\r
+  Attributes description\r
+</H2>\r
+<P>\r
+The ThreadStat defines the following attributes:\r
+<UL>\r
+  <LI>\r
+    <A HREF="#refresh">refresh</A>\r
+</UL>\r
+<P>\r
+  <HR>\r
+<CODE><A NAME=refresh>refresh</A></CODE>\r
+<DL>\r
+  <DT>\r
+    <I>semantics</I>\r
+  <DD>\r
+    At what interval should the thread listing refresh itself. When available,\r
+    this resource uses the Refresh header to make itself refresh regularly. This\r
+    attribute gives the period of this refresh in seconds.\r
+  <DT>\r
+    <I>type</I>\r
+  <DD>\r
+    This attribute is an editable\r
+    <A HREF="../api/w3c.jigsaw.resources.IntegerAttribute.html">IntegerAttribute</A>.\r
+  <DT>\r
+    <I>default value</I>\r
+  <DD>\r
+    This attribute defaults to <B>5</B>.\r
+</DL>\r
+<P>\r
+  <HR>\r
+<P>\r
+<I><A HREF="mailto:jigsaw@w3.org">Jigsaw Team</A><BR>\r
+$Id: w3c.jigsaw.status.ThreadStat.html,v 1.1 1996/04/18 02:35:01 abaird Exp\r
+$</I>\r
+</BODY></HTML>\r