From dd13471f86a1ca45c942ec177ed6612e248fa5a5 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Sun, 26 Aug 2007 01:17:38 +0000
Subject: [PATCH] minor stuff

svn: r7167
---
 collects/help/launch.ss                    | 40 +++++++++++-----------
 collects/help/servlets/private/platform.ss | 14 ++++----
 2 files changed, 27 insertions(+), 27 deletions(-)

diff --git a/collects/help/launch.ss b/collects/help/launch.ss
index 1265cff70f..3b7bf1f1d3 100644
--- a/collects/help/launch.ss
+++ b/collects/help/launch.ss
@@ -1,36 +1,36 @@
 ;;; launch.ss
 
-; PURPOSE
-;   This file launches a web-server serving an online
-;   version of the HelpDesk pages.
-;   This is intended for testing the online version,
-;   not as a way of deplying it.
+;; PURPOSE
+;;   This file launches a web-server serving an online
+;;   version of the HelpDesk pages.
+;;   This is intended for testing the online version,
+;;   not as a way of deplying it.
 
-; NOTES
-;   The web-server uses the port given by internal-port 
-;   in "collects/help/private/internal-hp.ss".
+;; NOTES
+;;   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.
+;;   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)
+;;  Startpage:
+;;     http://localhost:8000/servlets/home.ss
+;;     (where 8000 is the port given by internal-port)
 
 (require (lib "web-server.ss" "web-server")
          (lib "web-config-unit.ss" "web-server")
          "private/config.ss"
          "private/internal-hp.ss")
 
-; start the HelpDesk server, and store a shutdown 
-(define shutdown 
+;; start the HelpDesk server, and store a shutdown
+(define shutdown
   (serve/web-config@ config))
 
-(display "Did you remember to change current-helpdesk-platform in platform.ss?\n\n")
-(display (format "Start here: http://~a:~a/servlets/home.ss\n\n"
-                 internal-host internal-port))
+(printf "Did you remember to change `current-helpdesk-platform' in \"platform.ss\"?\n\n")
+(printf "Start here: http://~a:~a/servlets/home.ss\n\n"
+        internal-host internal-port)
 
-(display "Press enter to shutdown.\n")
+(format "Press enter to shutdown.\n")
 (read-line)
 ;(shutdown)
diff --git a/collects/help/servlets/private/platform.ss b/collects/help/servlets/private/platform.ss
index fedf57083b..ffbcd1050f 100644
--- a/collects/help/servlets/private/platform.ss
+++ b/collects/help/servlets/private/platform.ss
@@ -1,11 +1,11 @@
 (module platform mzscheme
   (provide current-helpdesk-platform)
-  
-  ; internal browser or external browser?
-  ;   (used to produce simpler html for the internal browser)
+
+  ;; internal browser or external browser?
+  ;;   (used to produce simpler html for the internal browser)
   (define current-helpdesk-platform
-    (make-parameter 
+    (make-parameter
      'internal-browser-simple  ; main page only
-     ; 'internal-browser      ; menu + main page
-     ; 'external-browser
-     )))
\ No newline at end of file
+     ;; 'internal-browser      ; menu + main page
+     ;; 'external-browser
+     )))