Exported names: Imported modules:

Module HTML.CGI.Config

This module contains some configuration definitions for CGI programming support in the HTML library.

Author: Michael Hanus

Version: November 2018

Summary of exported operations:

scriptServerTimeOut
                  ::  Int

cgiServerRegistry
                  ::  IO String

The name of the file where registration information for all cgi servers is kept.

Exported operations:

scriptServerTimeOut :: Int

Further infos:

solution complete, i.e., able to compute all solutions

cgiServerRegistry :: IO String

The name of the file where registration information for all cgi servers is kept. The registration is used to get an overview on all cgi servers on a machine or to send requests (e.g., cleanup) to all cgi servers.