suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

handin-client disabled by default

Browse Source 
svn: r5315
This commit is contained in:
Eli Barzilay 2007-01-11 20:46:02 +00:00
parent c72d6f4170
commit 26a4bca1b6
2 changed files with 18 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/handin-client/client-gui.ss
View File

@ -9,11 +9,10 @@
(define uninstalled? #f) (define uninstalled? #f)
(define server:port (define server:port (#%info-lookup 'server:port (lambda () #f)))
(#%info-lookup 'server:port (lambda () (getenv "PLT_HANDIN_SERVER_PORT"))))
(define-values (server port-no) (define-values (server port-no)
(if server:port (if server:port
(let ([m (regexp-match #rx"^(.+):([0-9]+)$" server:port)]) (let ([m (regexp-match #rx"^([^:]+):([0-9]+)$" server:port)])
(unless m (unless m
(error 'handin-client (error 'handin-client
"Bad configuration ~s, expecting \"server:port\"" "Bad configuration ~s, expecting \"server:port\""

26
collects/handin-client/info.ss
View File

@ -1,9 +1,19 @@
(module info (lib "infotab.ss" "setup") (module info (lib "infotab.ss" "setup")
;; Modify these definitions to customize the tool. ;; Modify these definitions to enable & customize the tool.
;; Also replace the "icon.png" and "server-cert.pem" files. ;; (Detailed instructions are in the handin-server collection's doc.txt)
;; Instead of uncommenting the definition of server:port, you ;; Also replace the "server-cert.pem" files.
;; can set the PLT_HANDIN_SERVER_PORT environment variable.
;; Your course name (used for menus, button label, collection name etc)
(define name "Course") (define name "Course")
;; The handin tool is disabled by default, uncomment these three lines to
;; enable it
(define tools `("client-gui.ss"))
(define tool-names `(,name))
(define tool-icons `("icon.png"))
;; Modify the provided "icon.png" file to your school/lab/etc logo.
;; You must define a server:port for the client to be functional
;(define server:port "localhost:7979") ;(define server:port "localhost:7979")
;; The following are optional. Uncomment and fill in ;; The following are optional. Uncomment and fill in
@ -13,12 +23,6 @@
;(define web-menu-name "Course Homepage") ;(define web-menu-name "Course Homepage")
;(define web-address "http://www.university.edu/course/") ;(define web-address "http://www.university.edu/course/")
(define tools `("client-gui.ss"))
(define tool-names `(,name))
(define tool-icons `("icon.png"))
(define requires '(("mred") ("openssl")))
;; Auto-updater section (see handin-server/doc.txt for details) ;; Auto-updater section (see handin-server/doc.txt for details)
;(define enable-auto-update #t) ; enable auto-update? ;(define enable-auto-update #t) ; enable auto-update?
;(define version-filename "handin-version") ;(define version-filename "handin-version")
@ -30,4 +34,6 @@
;(define selection-default ; suffixes to auto-choose (string or string-list) ;(define selection-default ; suffixes to auto-choose (string or string-list)
; '("*.scm;*.ss" "*.scm;*.ss;*.txt")) ; '("*.scm;*.ss" "*.scm;*.ss;*.txt"))
(define requires '(("mred") ("openssl")))
) )