2 Dispatchers

Since the Web Server is really just a particular configuration of a dispatching server, there are several dispatchers that are defined to support the Web Server. Other dispatching servers may find these useful. In particular, if you want a peculiar processing pipeline for your Web Server installation, refer to this documentation.

    2.1 General

    2.2 Mapping URLs to Paths

    2.3 Sequencing

    2.4 Timeouts

    2.5 Lifting Procedures

    2.6 Filtering Requests

    2.7 Procedure Invocation upon Request

    2.8 Logging

    2.9 Password Protection

    2.10 Virtual Hosts

    2.11 Serving Files

    2.12 Serving Servlets

      2.12.1 Setting Up Servlets

      2.12.2 Servlet Namespaces

        2.12.2.1 Why this is useful

      2.12.3 Internal Servlet Representation

    2.13 Statistics

    2.14 Limiting Requests