Version: 4.1

5 Dispatchers

The Web Server is really just a particular configuration of a dispatching server. There are a number of dispatchers that are defined to support the Web Server . Other dispatching servers, or variants of the Web Server , may find these useful. In particular, if you want a peculiar processing pipeline for your Web Server installation, this documentation will be useful.

    5.1 General

    5.2 Mapping URLs to Paths

    5.3 Sequencing

    5.4 Timeouts

    5.5 Lifting Procedures

    5.6 Filtering Requests

    5.7 Procedure Invocation upon Request

    5.8 Logging

    5.9 Password Protection

    5.10 Virtual Hosts

    5.11 Serving Files

    5.12 Serving Scheme Servlets

    5.13 Serving Web Language Servlets

    5.14 Statistics