All Packages Class Hierarchy This Package Previous Next Index
Class w3c.jigsaw.status.Statistics
java.lang.Object
|
+----w3c.tools.store.AttributeHolder
|
+----w3c.tools.store.Resource
|
+----w3c.jigsaw.resources.HTTPResource
|
+----w3c.jigsaw.status.Statistics
- public class Statistics
- extends HTTPResource
This class exports the server statistics.
It makes available a bunch of various parameters about the current
server, and uses the Refresh meta-tag (as the ThreadStat) to
make them redisplay.
This would benefit from being an applet.
-
ATTR_REFRESH
- Attribute index - Our refresh interval.
-
REFRESH_DEFAULT
-
-
Statistics()
-
-
get(Request)
- Get the current set of statistics.
REFRESH_DEFAULT
protected static Integer REFRESH_DEFAULT
ATTR_REFRESH
protected static int ATTR_REFRESH
- Attribute index - Our refresh interval.
Statistics
public Statistics()
get
public Reply get(Request request)
- Get the current set of statistics.
Display the collected statistics in an HTML table.
- Parameters:
- request - TYhe request to process.
- Overrides:
- get in class HTTPResource
All Packages Class Hierarchy This Package Previous Next Index