    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