minor stuff
svn: r7167
This commit is contained in:
parent
fb9525287a
commit
dd13471f86
|
@ -1,36 +1,36 @@
|
||||||
;;; launch.ss
|
;;; launch.ss
|
||||||
|
|
||||||
; PURPOSE
|
;; PURPOSE
|
||||||
; This file launches a web-server serving an online
|
;; This file launches a web-server serving an online
|
||||||
; version of the HelpDesk pages.
|
;; version of the HelpDesk pages.
|
||||||
; This is intended for testing the online version,
|
;; This is intended for testing the online version,
|
||||||
; not as a way of deplying it.
|
;; not as a way of deplying it.
|
||||||
|
|
||||||
; NOTES
|
;; 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".
|
;; in "collects/help/private/internal-hp.ss".
|
||||||
|
|
||||||
; Change the parameter current-helpdesk-platform
|
;; Change the parameter current-helpdesk-platform
|
||||||
; in "collects/help/servlets/private/platform.ss"
|
;; in "collects/help/servlets/private/platform.ss"
|
||||||
; to 'external-browser when testing the online version.
|
;; to 'external-browser when testing the online version.
|
||||||
|
|
||||||
; Startpage:
|
;; Startpage:
|
||||||
; http://localhost:8000/servlets/home.ss
|
;; http://localhost:8000/servlets/home.ss
|
||||||
; (where 8000 is the port given by internal-port)
|
;; (where 8000 is the port given by internal-port)
|
||||||
|
|
||||||
(require (lib "web-server.ss" "web-server")
|
(require (lib "web-server.ss" "web-server")
|
||||||
(lib "web-config-unit.ss" "web-server")
|
(lib "web-config-unit.ss" "web-server")
|
||||||
"private/config.ss"
|
"private/config.ss"
|
||||||
"private/internal-hp.ss")
|
"private/internal-hp.ss")
|
||||||
|
|
||||||
; start the HelpDesk server, and store a shutdown
|
;; start the HelpDesk server, and store a shutdown
|
||||||
(define shutdown
|
(define shutdown
|
||||||
(serve/web-config@ config))
|
(serve/web-config@ config))
|
||||||
|
|
||||||
(display "Did you remember to change current-helpdesk-platform in platform.ss?\n\n")
|
(printf "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"
|
(printf "Start here: http://~a:~a/servlets/home.ss\n\n"
|
||||||
internal-host internal-port))
|
internal-host internal-port)
|
||||||
|
|
||||||
(display "Press enter to shutdown.\n")
|
(format "Press enter to shutdown.\n")
|
||||||
(read-line)
|
(read-line)
|
||||||
;(shutdown)
|
;(shutdown)
|
||||||
|
|
|
@ -1,11 +1,11 @@
|
||||||
(module platform mzscheme
|
(module platform mzscheme
|
||||||
(provide current-helpdesk-platform)
|
(provide current-helpdesk-platform)
|
||||||
|
|
||||||
; internal browser or external browser?
|
;; internal browser or external browser?
|
||||||
; (used to produce simpler html for the internal browser)
|
;; (used to produce simpler html for the internal browser)
|
||||||
(define current-helpdesk-platform
|
(define current-helpdesk-platform
|
||||||
(make-parameter
|
(make-parameter
|
||||||
'internal-browser-simple ; main page only
|
'internal-browser-simple ; main page only
|
||||||
; 'internal-browser ; menu + main page
|
;; 'internal-browser ; menu + main page
|
||||||
; 'external-browser
|
;; 'external-browser
|
||||||
)))
|
)))
|
Loading…
Reference in New Issue
Block a user