make it possible to not run the https server (which is also the default now)

svn: r7378
This commit is contained in:
Eli Barzilay 2007-09-18 14:33:55 +00:00
parent 05ae7be90d
commit 13e706e817
3 changed files with 7 additions and 5 deletions

View File

@ -185,9 +185,9 @@ This directory contains the following files and sub-directories:
'port-number : the port for the main handin server; the default
is 7979
'https-port-number : the port for the handin-status HTTPS
server; the default is one more than the main server's port
(so the transitive default is 7980)
'https-port-number : the port number for the handin-status HTTPS
server; the default is #f which indicates that no HTTPS
server is started
'session-timeout : number of seconds before the session
times-out -- the client is given this many seconds for the

View File

@ -626,7 +626,9 @@
(log-line "server started ------------------------------")
(hook 'server-start `([port ,(get-conf 'port-number)]))
(define stop-status (serve-status (get-conf 'https-port-number)))
(define stop-status
(cond [(get-conf 'https-port-number) => (serve-status p)]
[else #f]))
(define session-count 0)

View File

@ -56,7 +56,7 @@
[(active-dirs) (values '() path-list )]
[(inactive-dirs) (values '() path-list )]
[(port-number) (values 7979 id )]
[(https-port-number) (values (add1 (get-conf 'port-number)) id )]
[(https-port-number) (values #f id )]
[(hook-file) (values #f path/false )]
[(session-timeout) (values 300 id )]
[(session-memory-limit) (values 40000000 id )]