Web Server: PLT HTTP Server

1`` | Running the Web Server
2`` | Scheme Servlets
3`` | Web Language Servlets
4`` | Configuration
5`` | Dispatchers
6`` | Web Config Unit
7`` | Web Server Unit
8`` | Continuation Managers
9`` | Internal
10`` | Troubleshooting
11`` | Acknowledgements
| Index

Version: 4.0.2
contents index
← prev up next →

#### 1.1`` Command-line Tools

One command-line utility is provided with the Web Server:

plt-web-server [-f <file-name> -p <port> -a <ip-address>]

The optional file-name argument specifies the path to a configuration-table S-expression (see Configuration Table.) If this is not provided, the default configuration shipped with the server is used. The optional port and ip-address arguments override the corresponding portions of the configuration-table.

The configuration-table is given to configuration-table->web-config@ and used to construct a web-config^ unit, and is linked with the web-server@ unit. The resulting unit is invoked, and the server runs until the process is killed.

To run the web server with MrEd, use

mred -l- web-server/gui [-f <file-name> -p <port> -a <ip-address>]

contents index
← prev up next →