remove debugging line

svn: r7175
2007-08-26 06:16:03 +00:00 · 2007-08-26 06:16:03 +00:00 · a8c0d5b881
commit a8c0d5b881
parent 897d92c3cf
1 changed files with 0 additions and 1 deletions
--- a/collects/help/help-desk-server.ss
+++ b/collects/help/help-desk-server.ss
@ -30,7 +30,6 @@
 (once-each
  [("-p" "--port") port "port to run on"
   (internal-port (string->number port))]))
-(printf "launch>>>> ~s\n" (internal-port))

 ;; start the HelpDesk server, and store a shutdown
 (define shutdown