1.1 --- a/tools/JavaServlet/web.xml Thu Sep 27 17:47:19 2007 +0000
1.2 +++ b/tools/JavaServlet/web.xml Thu Sep 27 17:48:34 2007 +0000
1.3 @@ -17,6 +17,14 @@
1.4 <param-value>%s</param-value>
1.5 </init-param>
1.6 <init-param>
1.7 + <param-name>python.path</param-name>
1.8 + <param-value>%s</param-value>
1.9 + </init-param>
1.10 + <init-param>
1.11 + <param-name>python.cachedir</param-name>
1.12 + <param-value>%s</param-value>
1.13 + </init-param>
1.14 + <init-param>
1.15 <param-name>servlet.file</param-name>
1.16 <param-value>%s</param-value>
1.17 </init-param>