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>]