Re: [racket-dev] replacement for #:namespace arg in dispatch/servlet

2011-01-03 Thread Robby Findler
Thanks Jay. I've removed the use of the argument and verified that the handin-server still seems to work. I'll push the change when I get to school. Robby On Monday, January 3, 2011, Jay McCarthy wrote: > The option was removed because it didn't do anything. > > #:namespace in other places in th

Re: [racket-dev] replacement for #:namespace arg in dispatch/servlet

2011-01-03 Thread Jay McCarthy
The option was removed because it didn't do anything. #:namespace in other places in the Web Server is used to allow dynamically loaded code to share module instantiations with the Web Server (and therefore with each other.) dispatch/servlet does not dynamic load any code. It runs a servlet that

Re: [racket-dev] replacement for #:namespace arg in dispatch/servlet

2011-01-03 Thread Robby Findler
I'm not sure how much this helps, but you can at least postpone the problem by using this config file (a modified version of the one in the handin server quick start docs): ((active-dirs ("test")) (use-https #f)) This way, the web server won't be started. I think students should still be able to

[racket-dev] replacement for #:namespace arg in dispatch/servlet

2011-01-02 Thread John Clements
I'm trying to use the 'handin-server' code, which depends on a now-defunct #:namespace argument to dispatch/servlet. Your change eliminating this argument (commit c7995e247e8300) was in response to Shriram's PR about port number assignments, but that doesn't help me to figure out why that argum