► |  | Web Server: PLT HTTP Server

1 | Running the Web Server
2 | Writing Servlets
3 | Extending the Web Server
4 | Troubleshooting and Tips
5 | Acknowledgements
| Index

▼ | 1 | Running the Web Server

1.1 | Instant Servlets
1.2 | Simple Single Servlet Servers
1.3 | Command-line Tools
1.4 | Functional

Version: 4.1.4
top← prev up next →

#### 1.3`` Command-line Tools

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

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

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. If the SSL option is provided, then the server uses HTTPS with "server-cert.pem" and "private-key.pem" in the current directory, with 443 as the default port. (See the openssl module for details on the SSL implementation.)

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

top← prev up next →