glassfish configuration for geocoder.war

[Jack Li]

In the geocoder/README, there are instructions to set up the geocoder if 
you are using tomcat, but no instructions for glassfish. It also says to 
set the tomcat.home location, but it doesn't exist. Does it mean to edit 
servlet.lib.path to the tomcat/glassfish home directory or the 
tomcat/glassfish lib directory?

--
Jack Li
Duke University '10
Pratt School of Engineering
Phone: (972) 533-5082