quiet

original commit: 7a82c4cc7e562c26174a544913ff47e1bea8b4a5

collects/help/help.ss

@@ -12,6 +12,7 @@
   (define launch-browser? #t)
   (define external-connections? #f)
   (define iconize? #f)
+  (define quiet? #f)
   (define port #f)
 
   (command-line
@@ -24,6 +25,8 @@
      (set! external-connections? #t)]
     [("-i" "--iconize") "Iconize the control panel"
      (set! iconize? #t)]
+    [("-q" "--quiet") "Don't show the control panel"
+     (set! quiet? #t)]
     [("-p" "--port") number "Use given port number"
      (with-handlers
       ((void (lambda _
@@ -51,7 +54,9 @@
        ; allow browser startup time
 	(sleep 2))
 
-  (define hd-frame%
+  (if quiet?
+      (semaphore-wait (make-semaphore 0))
+      (let* ([hd-frame%
 	      (class frame%
 		     (inherit show)
 		     (field
@@ -106,19 +111,21 @@
 					(parent panel)
 					(min-width 100)
 					(callback (lambda (b ev)
-					  (shutdown-dialog)))))))
-
-  (define frame 
+						    (shutdown-dialog))))))]
+	     [frame 
 	      (instantiate hd-frame% ()
 			   (label "PLT Help Desk")
 			   (min-width 175)
 			   (stretchable-width #f)
-		 (stretchable-height #f)))
-
+			   (stretchable-height #f))])
 	(send frame center)
 	(send frame show #t)
 	(when iconize?
-	(send frame iconize #t)))
+	      (send frame iconize #t)))))
+
+	
+	
+