diff --git a/collects/handin-client/tool.ss b/collects/handin-client/client-gui.ss similarity index 99% rename from collects/handin-client/tool.ss rename to collects/handin-client/client-gui.ss index 75620c6166..6264afff83 100644 --- a/collects/handin-client/tool.ss +++ b/collects/handin-client/client-gui.ss @@ -1,4 +1,4 @@ -(module tool mzscheme +(module client-gui mzscheme (require (lib "mred.ss" "mred") (lib "class.ss") (lib "unitsig.ss") diff --git a/collects/handin-client/info.ss b/collects/handin-client/info.ss index 5f0fdf0b2f..8950bafe7b 100644 --- a/collects/handin-client/info.ss +++ b/collects/handin-client/info.ss @@ -1,5 +1,5 @@ (module info (lib "infotab.ss" "setup") - ;; Modify these four definitions to customize the tool. + ;; Modify these definitions to customize the tool. ;; Also replace the "icon.png" and "server-cert.pem" files. ;; Instead of uncommenting the definition of server:port, you ;; can set the PLT_HANDIN_SERVER_PORT environment variable. @@ -15,6 +15,6 @@ ;(define web-address "http://www.university.edu/course/") (define tool-icons (list (list "icon.png" collection))) - (define tools '(("tool.ss"))) + (define tools '(("client-gui.ss"))) (define tool-names (list name)) (define requires '(("mred") ("openssl"))))