From dfb5786bbc381c6674667a1e3c46d6f06a2bfa2d Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Sun, 26 Aug 2007 05:40:45 +0000
Subject: [PATCH] renamed platform.ss to options.ss (so more stuff can be added
 later)

svn: r7171
---
 collects/help/help-desk.ss                        |  2 +-
 collects/help/launch.ss                           |  8 ++------
 collects/help/private/config.ss                   |  2 +-
 collects/help/private/{platform.ss => options.ss} | 13 ++++++++++---
 collects/help/servlets/home.ss                    |  2 +-
 collects/help/servlets/private/split-screen.ss    |  2 +-
 collects/help/servlets/results.ss                 |  2 +-
 collects/help/servlets/static.ss                  |  2 +-
 8 files changed, 18 insertions(+), 15 deletions(-)
 rename collects/help/private/{platform.ss => options.ss} (50%)

diff --git a/collects/help/help-desk.ss b/collects/help/help-desk.ss
index 8f1021c7f6..041e5c9cd0 100644
--- a/collects/help/help-desk.ss
+++ b/collects/help/help-desk.ss
@@ -1,7 +1,7 @@
 (module help-desk mzscheme
   (require 
    "bug-report.ss" ;; this is require'd here to get the prefs defaults setup done early.
-   "private/platform.ss" ;; same reason
+   "private/options.ss" ;; same reason
    
    "private/manuals.ss"
    "private/buginfo.ss"
diff --git a/collects/help/launch.ss b/collects/help/launch.ss
index 4d95bfc9d0..06a81e35fb 100644
--- a/collects/help/launch.ss
+++ b/collects/help/launch.ss
@@ -7,13 +7,9 @@
 ;;   not as a way of deplying it.
 
 ;; NOTES
-;;   The web-server uses the port given by internal-port 
+;;   The web-server uses the port given by internal-port
 ;;   in "collects/help/private/internal-hp.ss".
 
-;;   Change the parameter current-helpdesk-platform
-;;   in "collects/help/servlets/private/platform.ss"
-;;   to 'external-browser when testing the online version.
-
 ;;  Startpage:
 ;;     http://localhost:8000/servlets/home.ss
 ;;     (where 8000 is the port given by internal-port)
@@ -22,7 +18,7 @@
          (lib "web-config-unit.ss" "web-server")
          "private/config.ss"
          "private/internal-hp.ss"
-         "private/platform.ss")
+         "private/options.ss")
 
 (current-helpdesk-platform 'external-browser)
 
diff --git a/collects/help/private/config.ss b/collects/help/private/config.ss
index c5114afb31..97aed40566 100644
--- a/collects/help/private/config.ss
+++ b/collects/help/private/config.ss
@@ -59,4 +59,4 @@
        #:make-servlet-namespace
        (make-make-servlet-namespace
         #:to-be-copied-module-specs
-        '((lib "platform.ss" "help" "private")))))))
+        '((lib "options.ss" "help" "private")))))))
diff --git a/collects/help/private/platform.ss b/collects/help/private/options.ss
similarity index 50%
rename from collects/help/private/platform.ss
rename to collects/help/private/options.ss
index ffbcd1050f..1bf9e8b38d 100644
--- a/collects/help/private/platform.ss
+++ b/collects/help/private/options.ss
@@ -1,5 +1,10 @@
-(module platform mzscheme
-  (provide current-helpdesk-platform)
+(module options mzscheme
+
+  ;; This module provides configuration options that are shared
+  ;; between servlets and the web-server.  (Mostly to allow
+  ;; configuration as an application or as a standalone server.)
+
+  (provide current-helpdesk-platform internal-port)
 
   ;; internal browser or external browser?
   ;;   (used to produce simpler html for the internal browser)
@@ -8,4 +13,6 @@
      'internal-browser-simple  ; main page only
      ;; 'internal-browser      ; menu + main page
      ;; 'external-browser
-     )))
+     ))
+
+  )
diff --git a/collects/help/servlets/home.ss b/collects/help/servlets/home.ss
index 39f4998e3b..90012e19c7 100644
--- a/collects/help/servlets/home.ss
+++ b/collects/help/servlets/home.ss
@@ -10,7 +10,7 @@
            "private/url.ss"
            "private/html.ss"
            "private/split-screen.ss"
-           "../private/platform.ss")
+           "../private/options.ss")
   
   (define copyright-year 2007)
   
diff --git a/collects/help/servlets/private/split-screen.ss b/collects/help/servlets/private/split-screen.ss
index 8307922434..fcba2ba950 100644
--- a/collects/help/servlets/private/split-screen.ss
+++ b/collects/help/servlets/private/split-screen.ss
@@ -3,7 +3,7 @@
            (only (lib "misc.ss" "swindle")  mappend)
            "html.ss"
            "url.ss"
-           "../../private/platform.ss")
+           "../../private/options.ss")
   
   ; These items are common to all split screens
   
diff --git a/collects/help/servlets/results.ss b/collects/help/servlets/results.ss
index 5d9c64c41f..ca5725e562 100644
--- a/collects/help/servlets/results.ss
+++ b/collects/help/servlets/results.ss
@@ -21,7 +21,7 @@ is stored in a module top-level and that's namespace-specific.
            "private/util.ss"
            "private/search-util.ss"
            "private/html.ss"
-           "../private/platform.ss")
+           "../private/options.ss")
   (provide interface-version timeout start)
   (define interface-version 'v1)
   (define timeout +inf.0)
diff --git a/collects/help/servlets/static.ss b/collects/help/servlets/static.ss
index f1c79c4888..3ec9456774 100644
--- a/collects/help/servlets/static.ss
+++ b/collects/help/servlets/static.ss
@@ -12,7 +12,7 @@
            (lib "port.ss")
            "../private/standard-urls.ss"
            "../private/docpos.ss"
-           "../private/platform.ss"
+           "../private/options.ss"
            "private/html.ss")
   
   (provide interface-version timeout start)