check handin-server directory exists
svn: r11807
This commit is contained in:
parent
bab55e4e20
commit
d44850f515
|
@ -4,7 +4,11 @@
|
||||||
|
|
||||||
;; This module should be invoked when we're in the server directory
|
;; This module should be invoked when we're in the server directory
|
||||||
(provide server-dir)
|
(provide server-dir)
|
||||||
(define server-dir (or (getenv "PLT_HANDINSERVER_DIR") (current-directory)))
|
(define server-dir
|
||||||
|
(let ([dir (or (getenv "PLT_HANDINSERVER_DIR") (current-directory))])
|
||||||
|
(if (directory-exists? dir)
|
||||||
|
dir
|
||||||
|
(error 'config "handin server directory does not exist: ~e" dir))))
|
||||||
|
|
||||||
(define config-file (path->complete-path "config.ss" server-dir))
|
(define config-file (path->complete-path "config.ss" server-dir))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user