[Jscheme-devel] CVS-update

[Timothy J. H. <tim...@us...>]

Update of /cvsroot/jscheme/jscheme/src/webapp/jscheme/WEB-INF
In directory usw-pr-cvs1:/tmp/cvs-serv30658

Modified Files:
	web.xml 
Log Message:
fixed bug revealed by using Jetty instead of Tomcat