From cf0fa1481a4da18a9f70e1f4f3483b8be4f72ab2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 20 Nov 2007 00:12:54 +0000 Subject: [PATCH] svn: r7776 --- collects/help/web-root/conf/forbidden.html | 8 -------- collects/help/web-root/conf/not-found.html | 8 -------- collects/help/web-root/conf/passwords-refresh.html | 8 -------- collects/help/web-root/conf/protocol-error.html | 8 -------- collects/help/web-root/conf/servlet-error.html | 13 ------------- collects/help/web-root/conf/servlet-refresh.html | 8 -------- 6 files changed, 53 deletions(-) delete mode 100644 collects/help/web-root/conf/forbidden.html delete mode 100644 collects/help/web-root/conf/not-found.html delete mode 100644 collects/help/web-root/conf/passwords-refresh.html delete mode 100644 collects/help/web-root/conf/protocol-error.html delete mode 100644 collects/help/web-root/conf/servlet-error.html delete mode 100644 collects/help/web-root/conf/servlet-refresh.html diff --git a/collects/help/web-root/conf/forbidden.html b/collects/help/web-root/conf/forbidden.html deleted file mode 100644 index cb921d33dd..0000000000 --- a/collects/help/web-root/conf/forbidden.html +++ /dev/null @@ -1,8 +0,0 @@ - -Access Denied - -

The Help Desk server could not verify that you have permissions to access the requested document.

-Help Desk home -

Powered by

- - diff --git a/collects/help/web-root/conf/not-found.html b/collects/help/web-root/conf/not-found.html deleted file mode 100644 index 541fee37d1..0000000000 --- a/collects/help/web-root/conf/not-found.html +++ /dev/null @@ -1,8 +0,0 @@ - -Not Found - -

The file you were looking for was not found on the Help Desk server.

-Help Desk home -

Powered by

- - diff --git a/collects/help/web-root/conf/passwords-refresh.html b/collects/help/web-root/conf/passwords-refresh.html deleted file mode 100644 index ab4731ad71..0000000000 --- a/collects/help/web-root/conf/passwords-refresh.html +++ /dev/null @@ -1,8 +0,0 @@ - -Passwords Refreshed - -

Passwords will reload for the next authentication request.

-Help Desk home -

Powered by

- - diff --git a/collects/help/web-root/conf/protocol-error.html b/collects/help/web-root/conf/protocol-error.html deleted file mode 100644 index f2eaffc5b6..0000000000 --- a/collects/help/web-root/conf/protocol-error.html +++ /dev/null @@ -1,8 +0,0 @@ - -Browser Error - -

The browser sent a malformed request to the Help Desk server.

-Help Desk home -

Powered by

- - diff --git a/collects/help/web-root/conf/servlet-error.html b/collects/help/web-root/conf/servlet-error.html deleted file mode 100644 index 06a05eecc6..0000000000 --- a/collects/help/web-root/conf/servlet-error.html +++ /dev/null @@ -1,13 +0,0 @@ - -Servlet Error - -

A Help Desk servlet terminated abnormally.
- Please use the bug report link in Help Desk to - report the problem. Alternatively, you may send a - bug report via the Web at - http://bugs.plt-scheme.org/. -

-Help Desk home -

Powered by

- - diff --git a/collects/help/web-root/conf/servlet-refresh.html b/collects/help/web-root/conf/servlet-refresh.html deleted file mode 100644 index d046d190df..0000000000 --- a/collects/help/web-root/conf/servlet-refresh.html +++ /dev/null @@ -1,8 +0,0 @@ - -Servlets Refreshed - -

Fresh copies of Help Desk servlets will now be (re)loaded from disk.

-Help Desk home -

Powered by

- -