From d44850f515e6f50590a4f2b63fef8f08cf7035f9 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 18 Sep 2008 19:13:25 +0000 Subject: [PATCH] check handin-server directory exists svn: r11807 --- collects/handin-server/private/config.ss | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/handin-server/private/config.ss b/collects/handin-server/private/config.ss index 2625ccf4c5..de64f1f290 100644 --- a/collects/handin-server/private/config.ss +++ b/collects/handin-server/private/config.ss @@ -4,7 +4,11 @@ ;; This module should be invoked when we're in the server directory (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))