diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/api.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/api.html deleted file mode 100644 index a5af714237..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/api.html +++ /dev/null @@ -1,4 +0,0 @@ -PLT Web Server: Embedding Interface

PLT Web Server: Embedding Interface

To use the Web server inside another PLT-Scheme program, require the Web server module:

(require (lib "web-server.ss" "web-server"))
-This provides one main function: -
serve : configuration [nat] [str] -> (-> void)
(define (serve configuration port ip-address) ...) -
The serve function starts the Web server, just like the launcher does, but the configuration argument supplies the server's settings. The optional port argument overrides the port supplied by the configuration. The optional ip-address restricts accepted web requests to come only from that address.

The result of invoking serve is a function of no arguments that shuts down the server.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/add.ss b/collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/add.ss deleted file mode 100644 index 6bae0026e9..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/add.ss +++ /dev/null @@ -1,30 +0,0 @@ -#lang scheme/base -(require web-server/servlet) -(provide (all-defined-out)) -(define interface-version 'v1) -(define timeout +inf.0) - -; request-number : str -> num -(define (request-number which-number) - (string->number - (extract-binding/single - 'number - (request-bindings (send/suspend (build-request-page which-number)))))) - -; build-request-page : str -> str -> response -(define (build-request-page which-number) - (lambda (k-url) - `(html (head (title "Enter a Number to Add")) - (body ([bgcolor "white"]) - (form ([action ,k-url] [method "post"]) - "Enter the " ,which-number " number to add: " - (input ([type "text"] [name "number"] [value ""])) - (input ([type "submit"] [name "enter"] [value "Enter"]))))))) - -(define (start initial-request) - (send/suspend - (lambda (k-url) - `(html (head (title "Sum")) - (body ([bgcolor "white"]) - (p "The sum is " - ,(number->string (+ (request-number "first") (request-number "second"))))))))) diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/count.ss b/collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/count.ss deleted file mode 100644 index e8d05febab..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/count.ss +++ /dev/null @@ -1,15 +0,0 @@ -#lang scheme/base -(require mzlib/date) -(provide (all-defined-out)) -(define interface-version 'v1) -(define timeout +inf.0) - -(define count 0) -(define a-date (date->string (seconds->date (current-seconds)) 'time-too)) -(define (start initial-request) - (set! count (add1 count)) - - `(html (head (title "Counter")) - (body ([bgcolor "white"]) - (p "This servlet was called " ,(number->string count) - " times since loaded on " ,a-date ".")))) diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/hello.ss b/collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/hello.ss deleted file mode 100644 index e3da2261a6..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/hello.ss +++ /dev/null @@ -1,11 +0,0 @@ -#lang scheme/base -(provide (all-defined-out)) -(define interface-version 'v1) -(define timeout +inf.0) - -(define the-text "Hello, Web!") - -(define (start initial-request) - `(html (head (title ,the-text)) - (body ([bgcolor "white"]) - (p ,the-text)))) diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/install.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/install.html deleted file mode 100644 index 4ea05bc692..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/install.html +++ /dev/null @@ -1,2 +0,0 @@ -PLT Web Server: Installation

PLT Web Server: Installation

Follow the following simple steps to start using the PLT Web server:

1. Install DrScheme
The Web server requires DrScheme or MzScheme version 200alpha1 or later.
2. Download the server
Choose one of the following installation options:
3. Start the server
Launch the web-server program created in the same location as the other PLT programs such as DrScheme.
The server may need to use a different port, such as 8080, on some systems. Choose a different port by starting the server with an optional port number:
web-server 8080
4. Try it out
Direct a Web browser to
http://localhost/
or to
http://localhost:8080/
depending on the server's port.
5. Configure
You may configure your server by following the links on the default index page.

We know you have a choice. Thank you for choosing PLT software.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/monitor.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/monitor.html deleted file mode 100644 index 465a481786..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/monitor.html +++ /dev/null @@ -1 +0,0 @@ -Web Server Monitoring

Web Server Monitoring

The Web server collection provides a program for monitoring Web servers. It periodically checks that a server responds to requests.To use the tool, start the web-server-monitor launcher as follows:

web-server-monitor alert-email host-name [port] [poll-frequency-seconds] [server-response-timeout-seconds]

The monitor will send a HTTP HEAD request to the server at host-name on port port (or 80) every poll-frequency-seconds seconds (or 1 hour). If the server does not respond within server-response-timeout-seconds (or 75) seconds then the monitor will email alert-email about the problem. Also, if the Web server responds with an error, the monitor will email the error message to alert-email. For example, the following monitors the Web server for the book ``How to Design Programs''

web-server-monitor jay www.htdp.org

On UNIX systems, it is usually a good idea to redirect standard in, out, and error to /dev/null so the monitor will not quit due to a SIGHUP (hangup signal) when you log out. i.e.

web-server-monitor jay www.htdp.org > /dev/null < /dev/null 2>&1 &

Powered by

diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet-examples.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet-examples.html deleted file mode 100644 index 63d2d7850d..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet-examples.html +++ /dev/null @@ -1,30 +0,0 @@ - - - - -PLT Servlet Examples - - -

PLT Servlet Examples

-

The table below links to small example servlets.
The configuration tool is a larger example.
The `go' links only work when served from the PLT Web server.

- - - - - - - - - - - - - - - - - -
Source CodeEvaluate
add.ssgo
count.ssgo
hello.ssgo
-

Powered by

- - diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet.html deleted file mode 100644 index 72d8057b51..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet.html +++ /dev/null @@ -1,63 +0,0 @@ - - - - - PLT Web Server: Servlet Interface - - - -

PLT Web Server: Servlet Interface

-

Instead of serving files from a special directory - verbatim, the Web server executes the contained - Scheme code and serves the output. By default, - the special directory is named "servlets" within - the "default-web-root" of the "web-server" - collection directory. Each file in that directory - must evaluate to a servlet.

- -

A servlet is a module that provides - three values: an - interface-version, - a timeout, and a - start procedure:

- 
-	    (module servlet mzscheme
-	    (require (lib "servlet.ss" "web-server"))
-	    (provide interface-version timeout start)
-	    (define interface-version 'v1)
-	    (define timeout +inf.0)
-	    (define (start initial-request)
-	    ...))
-
- -

The start procedure should produce a - response to an HTTP request. Please - refer to the documentation available via the Help - Desk for more information about working with these - values and programming servlets.

- -

Special URLs

-

The Web server caches passwords and servlets for - performance reasons. Requesting the URL

-
http://my-host/conf/refresh-passwords
-

reloads the password file. After updating a - servlet, loading the - URL

-
http://my-host/conf/refresh-servlets
-

causes the server to reload each servlet on the - next invocation. This loses any per-servlet state (not - per servlet instance state) computed before the unit - invocation.

- -

The Web server's garbage collect may be invoked at - the URL:

-
http://my-host/conf/collect-garbage
- -

Examples of Servlets

-

Powered by -

- - diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/password-refresh-message.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/password-refresh-message.html deleted file mode 100644 index d25a03a516..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/password-refresh-message.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Password cache refreshed
To update the password cache, visit the URL
http://your-host/conf/refresh-passwords
Doing so updates the password cache and displays the password cache refreshed page.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-access-message.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-access-message.html deleted file mode 100644 index 7f54199313..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-access-message.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Access Denied
Failed attempts to access a password protected page cause the Web server to produce the contents of the Access Denied page.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-host-root.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-host-root.html deleted file mode 100644 index 15b90acd4b..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-host-root.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Host root
All the configuration files for a host reside in the Host root or its subdirectories.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-htdocs.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-htdocs.html deleted file mode 100644 index 21ea89a158..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-htdocs.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Web document root
Files containing HTML pages, pictures, or other Web media come from this directory.
The URL referring to a file `my-web-page.html' immediately inside the Web document root is
http://this-host-name/my-web-page.html

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-log.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-log.html deleted file mode 100644 index 61683deaee..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-log.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Log file
The server stores messages into the Log file.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-message-root.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-message-root.html deleted file mode 100644 index 6ce299f9ed..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-message-root.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Message root
This directory contains messages sent to the user. See the other path settings for details.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-not-found-message.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-not-found-message.html deleted file mode 100644 index 40a0d60274..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-not-found-message.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
File not found
When a file or servlet is not found on the server, the server uses the message from the File not found page.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-password.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-password.html deleted file mode 100644 index e486165560..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-password.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Password File
To restrict access to files in the Web document root provide the path to a password file.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-protocol-message.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-protocol-message.html deleted file mode 100644 index 099f5f44c6..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-protocol-message.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Protocol error
When a browser violates the HTTP protocol, confusing the server, the protocol error message may appear. It should never appear when interacting with the server through a properly functioning Web browser.Depending on the error, the server may close the connection instead.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-servlet-message.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-servlet-message.html deleted file mode 100644 index f2f73cc35a..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-servlet-message.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Servlet error
When a servlet raises an uncaught exception, the server provides an error message starting with a description of the specific error and ending with the contents of the servlet error page.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-servlet.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-servlet.html deleted file mode 100644 index f0e3ec5b4c..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-servlet.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Servlet root
Instead of serving out files contained in the Servlet root directory verbatim, the Web server executes them as Scheme servlets

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/port.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/port.html deleted file mode 100644 index 9e3610ec1f..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/port.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Port
The Web server waits for requests to arrive on this port. The port appears in some URLs after the host name. i.e. 8080 in
http://www.ccs.neu.edu:8080/home/ptg/file.html
HTTP specifies that 80 is the default port.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/realm-name.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/realm-name.html deleted file mode 100644 index 10197e4405..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/realm-name.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Realm Name
Realm Name appears in the dialog box that prompts for a username and password.
It indicates which username and password the server requires.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/realm-pattern.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/realm-pattern.html deleted file mode 100644 index 459ea6fd43..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/realm-pattern.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Realm URL Path Pattern
If the path part of a requested URL matches the pattern, then the server requests a username and password. For details on pattern syntax, search for regexp in help-desk.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/servlet-refresh-message.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/servlet-refresh-message.html deleted file mode 100644 index ea0de6d77b..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/servlet-refresh-message.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Servlet cache refreshed

The Web server caches servlets (not the output of servlets). When developers update servlets, they must visit the URL

http://your-host/conf/refresh-servlets
to refresh the cache. When they do, they see the message from the servlet cache refreshed file.

Refreshing servlets does not affect currently running servlets, including suspended ones.Only servlets started from the beginning will execute the updated code.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-default-servlet.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-default-servlet.html deleted file mode 100644 index 58fcc4ef57..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-default-servlet.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Default Servlet Timeout Seconds
This value determines how long a servlet can wait in between requests before shutting down, unless the servlet calls adjust-timeout! to alter this value. Large values consume more memory, while smaller values annoy end users who must restart servlets.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-file-base.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-file-base.html deleted file mode 100644 index 2d128453a9..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-file-base.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Base When Transferring Files
The total number of seconds the server has to send a file is the sum of Base When Transferring Files and the product of per Byte When Transferring Files and the number of bytes in the file.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-file-per-byte.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-file-per-byte.html deleted file mode 100644 index b48df6b4e2..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-file-per-byte.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
per Byte When Transferring Files
The total number of seconds the server has to send a file is the sum of Base When Transferring Files and the product of per Byte When Transferring Files and the number of bytes in the file.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-initial.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-initial.html deleted file mode 100644 index 40aa41fb1c..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-initial.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Initial Connection Timeout
After a client connects to the Web server, the server only waits for an HTTP request for this many seconds before closing the connection. Browsers tend to send requests immediately, so a small number will do. Choosing a truely enormous number could cause problems. When a computer crashes or its network connection fails due to an external cause, it fails to ask the Web server to reclaim the connection. If about a thousand of these hung connections accumulate without timing out, the Web server can not accept new legitimate connections.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-password.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-password.html deleted file mode 100644 index 7c10aa972f..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-password.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Password Timeout Seconds
This is the number of seconds a user has to enter a username and password. Some users may need a while to remember (or look for) this information.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-servlet-connection.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-servlet-connection.html deleted file mode 100644 index 82598878d4..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-servlet-connection.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Servlet Connection Timeout Seconds
This is the number of seconds a servlet has to respond to a single request. Some servlets may perform substantial computation on a loaded server before generating a page. On the other hand, most users will not wait very long for a response.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/waiting.html b/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/waiting.html deleted file mode 100644 index cb7f91ffeb..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/waiting.html +++ /dev/null @@ -1 +0,0 @@ -Configuration Explanation
Maximum Waiting Connections
This is the maximum number of clients that can wait for a TCP/IP connection to the Web server. This limit usually does not cause problems because the Web server quickly accepts connections as requested and there is no limit on the number of simultaneous connections. On some platforms, choosing a large number may consume too many resources.

Powered by

\ No newline at end of file diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/web-server.gif b/collects/web-server/default-web-root/htdocs/Defaults/documentation/web-server.gif deleted file mode 100644 index 261ad1ceeb..0000000000 Binary files a/collects/web-server/default-web-root/htdocs/Defaults/documentation/web-server.gif and /dev/null differ diff --git a/collects/web-server/default-web-root/htdocs/Defaults/index.html b/collects/web-server/default-web-root/htdocs/Defaults/index.html deleted file mode 100644 index 0525da1462..0000000000 --- a/collects/web-server/default-web-root/htdocs/Defaults/index.html +++ /dev/null @@ -1,2 +0,0 @@ -Welcome to the PLT Web Server!

Welcome to the PLT Web Server!

To start using the Web Server, follow these steps:

Installation
You can skip the install instructions if you are reading this through the PLT Web server.

Customization
Use the online configuration tool to customize the server.

Servlet Interface
Learn how to write Scheme Servlets.

Embedding Interface
Embed the Web server in other applications.

Monitoring
Periodically check that Web servers continue to function.

If you use the PLT Web server, please let us know at - jay@plt-scheme.org.

Powered by

diff --git a/collects/web-server/default-web-root/htdocs/index.html b/collects/web-server/default-web-root/htdocs/index.html index 5e187ce3c6..045a500f50 100644 --- a/collects/web-server/default-web-root/htdocs/index.html +++ b/collects/web-server/default-web-root/htdocs/index.html @@ -4,7 +4,6 @@ -
@@ -12,20 +11,15 @@

Welcome to the PLT Web Server

-

- Find out more about the server and configure it. -

+

Find out more about writing servlets by reading the Continue tutorial in the Help Desk.

+

Find out more about the server by reading its reference manual in the Help Desk.

-

Please replace this page with your favorite index page. -
For future configuration changes, remember to look up -
-

- http://127.0.0.1:port/Defaults/ -
-

Powered by +

Please replace this page with your favorite index page.

+ +

Powered by - +

For more information on PLT Software, please follow the icon link. diff --git a/collects/web-server/default-web-root/htdocs/Defaults/documentation/plt-logo.gif b/collects/web-server/default-web-root/htdocs/plt-logo.gif similarity index 100% rename from collects/web-server/default-web-root/htdocs/Defaults/documentation/plt-logo.gif rename to collects/web-server/default-web-root/htdocs/plt-logo.gif diff --git a/collects/web-server/default-web-root/htdocs/secret/index.html b/collects/web-server/default-web-root/htdocs/secret/index.html deleted file mode 100644 index 1eb484cb30..0000000000 --- a/collects/web-server/default-web-root/htdocs/secret/index.html +++ /dev/null @@ -1,8 +0,0 @@ - -Home - -

-Hi. -

- - diff --git a/collects/web-server/default-web-root/passwords b/collects/web-server/default-web-root/passwords index 2d9f3161ca..f589cd75be 100644 --- a/collects/web-server/default-web-root/passwords +++ b/collects/web-server/default-web-root/passwords @@ -1,2 +1 @@ -'(("secret stuff" "/secret(/.*)?" (bubba "bbq") (|Billy| "BoB") - (aladdin "open sesame"))) +'()