From 6ff90087ace12b77397784f07284484dc493b64a Mon Sep 17 00:00:00 2001
From: Jay McCarthy
Date: Wed, 29 Oct 2008 22:30:22 +0000
Subject: [PATCH] Modernizing defaults
svn: r12172
---
.../htdocs/Defaults/documentation/api.html | 4 --
.../Defaults/documentation/examples/add.ss | 30 ---------
.../Defaults/documentation/examples/count.ss | 15 -----
.../Defaults/documentation/examples/hello.ss | 11 ---
.../Defaults/documentation/install.html | 2 -
.../Defaults/documentation/monitor.html | 1 -
.../documentation/servlet-examples.html | 30 ---------
.../Defaults/documentation/servlet.html | 63 ------------------
.../terms/password-refresh-message.html | 1 -
.../terms/path-access-message.html | 1 -
.../documentation/terms/path-host-root.html | 1 -
.../documentation/terms/path-htdocs.html | 1 -
.../documentation/terms/path-log.html | 1 -
.../terms/path-message-root.html | 1 -
.../terms/path-not-found-message.html | 1 -
.../documentation/terms/path-password.html | 1 -
.../terms/path-protocol-message.html | 1 -
.../terms/path-servlet-message.html | 1 -
.../documentation/terms/path-servlet.html | 1 -
.../Defaults/documentation/terms/port.html | 1 -
.../documentation/terms/realm-name.html | 1 -
.../documentation/terms/realm-pattern.html | 1 -
.../terms/servlet-refresh-message.html | 1 -
.../terms/time-default-servlet.html | 1 -
.../documentation/terms/time-file-base.html | 1 -
.../terms/time-file-per-byte.html | 1 -
.../documentation/terms/time-initial.html | 1 -
.../documentation/terms/time-password.html | 1 -
.../terms/time-servlet-connection.html | 1 -
.../Defaults/documentation/terms/waiting.html | 1 -
.../Defaults/documentation/web-server.gif | Bin 5501 -> 0 bytes
.../htdocs/Defaults/index.html | 2 -
.../default-web-root/htdocs/index.html | 18 ++---
.../{Defaults/documentation => }/plt-logo.gif | Bin
.../default-web-root/htdocs/secret/index.html | 8 ---
.../web-server/default-web-root/passwords | 3 +-
36 files changed, 7 insertions(+), 202 deletions(-)
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/api.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/add.ss
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/count.ss
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/examples/hello.ss
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/install.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/monitor.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet-examples.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/servlet.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/password-refresh-message.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-access-message.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-host-root.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-htdocs.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-log.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-message-root.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-not-found-message.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-password.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-protocol-message.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-servlet-message.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/path-servlet.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/port.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/realm-name.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/realm-pattern.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/servlet-refresh-message.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-default-servlet.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-file-base.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-file-per-byte.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-initial.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-password.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/time-servlet-connection.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/terms/waiting.html
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/documentation/web-server.gif
delete mode 100644 collects/web-server/default-web-root/htdocs/Defaults/index.html
rename collects/web-server/default-web-root/htdocs/{Defaults/documentation => }/plt-logo.gif (100%)
delete mode 100644 collects/web-server/default-web-root/htdocs/secret/index.html
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:
- Click
here
from within help-desk. - Choose "Open URL..." from help-desk's "File" menu and
- enter
http://www.ccs.neu.edu/home/ptg/packages/web-server.plt
- Download the file using another browser. Then select "Open" from the "File" menu in help-desk.
- Download the file using another browser and save it as
web-server.plt
. Then run setup-plt web-server.plt
This option works with MzScheme as well as with DrScheme.
- 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.
-
-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 261ad1ceeba80cd8776bbb84dd2b17e3ad6ee12b..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 5501
zcmWkw2{@G7|9|J5#jNi;21Az2BukWrBoxiqNgBI|1`%$#gH&jdJ;c}wNn@#0>OV=6
zN@GO!##FAQ#M~$=)2qG~U
zOip$-1_VVtBFU&^N;+i;g6<$Vw=j1cRE!Qe+ofK~T0TGc`2@!TUWR*xueAiovYPS0y0WKisd_z+kR}V8=2BGoeU29>-Q2zJHA#ev|f%~$wt%3gxw#XaE?-?<20^)ewYj-j0pHj-rOMpAs;27raRmwOd+v_FZZP|VHU?d&`hde~4X
z3b8v{J3Jj74Ga`q>k=>+#Tf|34TIqD@Nh>*M_#&uLY}FqeNRu%Zy@+sA-Jb!dU|>}
z2u@8+_4oHnK@fr(b49+_u8A=+gl&iR8{M3*gycmR0Ud*$kNjC`t|Dz3v(dY
zbXP%ACJVB(v@tfOQmK_yl|ey4c6N3mMZt-8!~H`LbP;T&=k(mn*`piwj>D=H_icFa?WkZEclE
zB#MTREqAu0-dkb1?@m27Yz}8RddtbvCkE2K3Ik`4>?iwnv*RSw=_cW??)z~gta`m?)Zv2_@>bu@s>V-DB
zIw{LHS!aL6rJB0BstcYpBu+N_4agSKqb|SOv#UKZ)N|+wB|KE{sP9Q~y8PK%K96Vk
zJfmndZnU%JZh7z3uE!@F1MXkim7_lThIO-jj(g5`Abw@Le}Soc_hDZ0P@{uSus8Zu
z%@(J=6Fi$QNx}nuiTho!hBw>{HFs5`w)t%-U(1?_?_vdI$L!<0OmYOj+O5I}jj|NGm7nzX@U{lg#LG2red;enPDB)yMo|3w66}@(
z^DDeqV^Zc=y#GjPwQtFX^2V6J!G@P#XX|YXsHGbFeRZraG0Tt93>xLIvbS6Ic}h!T
z_COZyvrn>b`uN2L+=qQD^=L5q1Bq^ww;VupCPxYNikKY+8X}-tNOc=Xt(N
z%>iZZ!REt7=cVfpy(+_u|6I7z8ErD+DYy7OADg^!k8zcb#g37T7o&Cgi4o_l>Kxhe
zJFobC{u*qQHNT-OCqwy$&!9+mD5+}qRMep{<;dmeeb0Co4@tUj*nJ3j-g)bUCPPPW
zbJL}@Sl7lap^*o~wjDpde1B6^Uv0>=<51Ts||^$-u9thrF6?jz3|X`c%wM>-kBUPcZtYAzsw_&^1L;z!8XWux8gu07VQk
zLXa_7)NWz~>!#JgPm99zu(1fem1gy|8rg=_Esp+`)U4nq?zuDH#S{$rR~Nd$vqm+&9FjR?1B3Ci%VJAxxcyDp!TfadyRK(9Lu^w
zcV`T~LD)Y*VluVsEv0EY&vEL&Jk&dg@?10KO&!Y&S5&m#uW4y)klNXpCA0y|L#k)7
z-WrFDGI|SsQ*~5t^oV>9#^;6~=v7fm*vLqq8T4;$$WJ+>|J#Q#BYU^Q#yh=o@XxIV
zX_9bkbV2$`*-gB|pj7E}?8VDXpDK45eNLH|Hx@swmafbHHsGjD$t8q)dD=_5XoX|I
z&j02vq;AG)aJ*k#TwN&(|J#JVFukwx?~|LmhrAOG-gG46-Fv+o3MhJkM(>vqfPXD2
zHrYdEu*C9m3c7`+@2*nU_Cfuz)did2b(n3g?yg5vQ5wUHOm{zJn1F4FFVIulQshVM
zY(NLwnHQd!d#-!H-IMl7i15O#12TMBH;pf3YYl_1G%p;nj+MUhJCQ+N8S)Oj?Ve+3
zVZ-SAVP6q}4&P7kKEHLdpW0SN>=^_90wUt3nN{t<5YHXF)F09NJ4NmhXM=cAC+UI+
z?IWzW+_9bH2orjia%z;O;kh6ES2-SKaCxaZiG-(5aU_V+lnJwM&=rrE8%&?3=4sD@?y
zU8?i%NVj{2Y}n`6JtbkBdgeQwUMuds*Q6im<;^ywrrz0YU~;;OwLLX;E}3N)z*V}F}w22w_EcxM=@JK1{K-FIKWT{TC(1CJ=FTj2`A@AEb
zlW2TLxUNX*_4^c3!#M1ZE7X51UW@7}lms|^YqZvjSo~HcUOe_J>wG3#nrnQNrCJlN
zc_2B~-PhZf5jdcdYHl2QA-+IvBiyBKlB{7^dA_-9GM;_%fF1!;>!`9Qc#Uq{;TV`s
z4c(6{&^;K?KBTe#Kt?^`Pi&>3q+3n*Hv()uFosups-$r-zBm0)IQ}%XHzBQTV}JB_
zn)chK
z;Ne-OyMbm1R^k+W6y5J_iP+?MA4isTqNBB)8)rH%-Qn7EATv^were9rD8r{H1nDQX
zr7L(q1L;A_G-r}U0aj%+A~w@KM`uV!{+LeNut`dl(Oi$+e*yqi=n=wc%c{k9Jdc#nD{Z&xv}fkFtLN)`M)}VI^Q%G0So1
z(%7b5`6w^KHlDktb9_q@XJ@=-g_DNuJ=z2Ik!^G}6NJgH9scHQG=qiv*Tt1Njlv*s
zc`XP}Hm+(3;mlAkVPUf{>s)&{%3)eLBdYwmq_rhPrT{tNm
zE;L*RkaXE@v|vcT^NGzP`mT9!D=gSPWB&}yhEBut&o=<>zy=8zk?Cyak!lK?o0
z1~q+Ca}3k%q`73*5wN8WE?m^FdKS)$s56c8W}`N~!QEw$b7-VlM?zR2S*|0*q$b*B
z1CYrG@jLSrF)%9Yx_&vAc0okhH{z5nv!FX`>MkK{e@^>
z7jhXuz#mh33c#}h>;o?PHf1-p+a>aw<_`?j<@-iTv-XmU`e%NC4oxFCjI`$ON#T$x
zi=hf8VdE@txFYpkn*Wgxn3rk!x*RAbo)Td0cPxxD?@dkZ4qsYA1OO@lY=RjN(B(lv
zH&_V2>(EEiRJ~4J
z>x70XAQCz6*Vq9ahIefX_z}=Gn+78M@bhYj%}n{OrnLN^k8mze$r(UL9$(K*D%QNI
z{F#fEMc_@sP`?_J?u6mr@}Rp6-^?E*#5_DIEOGS18wqGeWSjd-%m7;P|83LyI!dJd
zS*oL)7d3)FGqEciR4})w+6DWagU=n&nCGL;XgHeiFy(%DzCP~93(T2B#2BCjvQUmo
zhK;lE=d3;G9m;Y*tEw4`VdK8@p%5{QQ>-hhN8J$RTvQDcF>2=YlY2?a5C>pkDl>&WGn$=&v_sY`CO6%PoqG
z*Z;*sX3q!xTu01j=x4GsTG?nVti6Or2(LpJ2ts(YoXHaW$P%v73mS^w?SLSfcm?})
z)6bqz4tbIMxjQA3oEOMJIno$SWl$#>NabF#A{XBEBmF{y{})4kNd~qv$PZtsy)e7F
z!Xc0V7+F^v-bD_1p&}Cl7E9%BR#%fbNNOZ-!7G@@u6oA6qt4+*dV^_PNYIU=P7^AG
zxB=`b9WGjjr(rwoF-vohc~Nb}L^^*9%?w^-6SvhuhCCcufb2y!X!5S{^^w=eJbCmO
zVJ8Q{jxe+wqoHXUL6?*Y(u#_*m9=8Yo%^9RKD^AiL7%y}`~k`o1Ga1=f{(a<3t=QA
zUhfNjmWJDxj@t$qrr@Z;WSdUv?!AXRj{zL0w|e>OlU*)^AVmr
zlFHI{6&`7rkLZ{VB5{CCeE9I5Q*i{XMSc@~0_e^~>+%rY44k+Q6G(35|6O=x2aS|g
z)*44Yj#7UunQAc{0o6x25qkgS)Y)jhD*0=GV+R^f#5N(8lMB@QM&Y!k>
z%f`*G6vkLyt;JH;_|WHW68}<%jW;wYCT0ogP%x3o#=V_}q+%jY7(2_vKJ3SR5vs2+
zpF5Vo_&R_&l2H(yb<-XEG6bYFC@_OGQ54){c
z3B!A2ErjV__uILsZ}tc`P1&A?UCr952*0h=~H^CLV9=*Tv
z$4^nx%;~A@JJ21z>eS%W{nLk*f%mebqf2e10_Of-A&(xY5qD3#XWvP$5eq@+O}4W2
Zj?>fH-zq(&?}%~q|2hS~bjZNY{|6%YNhAOO
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")))
+'()
|