renamed platform.ss to options.ss (so more stuff can be added later)

svn: r7171

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"

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)
 

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")))))))

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
-     )))
+     ))
+
+  )

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)
   

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
   

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)

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)