..
original commit: b158c48ac28755eb101b8395edc7b41da8e97931
This commit is contained in:
parent
29c68db07d
commit
bb58e25a7a
|
@ -1,21 +1,15 @@
|
|||
(module help mzscheme
|
||||
(require (lib "cmdline.ss")
|
||||
"private/server.ss"
|
||||
"private/browser.ss")
|
||||
|
||||
(define remote-connections? #f)
|
||||
(define iconize? #f)
|
||||
(define quiet? #f)
|
||||
(module help mzscheme
|
||||
(define cm-env-var "PLTHDCM")
|
||||
(define install-cm? (getenv cm-env-var))
|
||||
(define cm-trace? (and install-cm? (equal? (getenv cm-env-var) "trace")))
|
||||
|
||||
(command-line
|
||||
"help-desk"
|
||||
(current-command-line-arguments))
|
||||
|
||||
(define hd-cookie (start-help-server (lambda (x) x)))
|
||||
(unless hd-cookie
|
||||
(printf "Help Desk: could not start server\n")
|
||||
(exit -1))
|
||||
|
||||
(help-desk-browser hd-cookie))
|
||||
|
||||
|
||||
(when install-cm?
|
||||
(printf "~a: installing compilation manager\n" cm-env-var)
|
||||
(current-load/use-compiled
|
||||
((dynamic-require '(lib "cm.ss") 'make-compilation-manager-load/use-compiled-handler)))
|
||||
(when cm-trace?
|
||||
((dynamic-require '(lib "cm.ss") 'manager-trace-handler)
|
||||
(lambda (x) (display x) (newline)))))
|
||||
|
||||
;; start help desk for real
|
||||
(dynamic-require '(lib "help-app-main.ss" "help" "private") #f))
|
Loading…
Reference in New Issue
Block a user