1.1 --- a/tools/JavaServlet/webstack_java_build.py Sat Oct 13 22:36:40 2007 +0000
1.2 +++ b/tools/JavaServlet/webstack_java_build.py Sat Oct 13 22:37:17 2007 +0000
1.3 @@ -104,8 +104,11 @@
1.4
1.5 # Copy the special PyServlet classes.
1.6
1.7 - copy_directory(os.path.join(webstack_tools_home, "tools", "JavaServlet", "classes"),
1.8 - os.path.join(appname, "WEB-INF"))
1.9 + #copy_directory(os.path.join(webstack_tools_home, "tools", "JavaServlet", "classes"),
1.10 + # os.path.join(appname, "WEB-INF"))
1.11 +
1.12 + copy_file(os.path.join(webstack_tools_home, "tools", "JavaServlet", "classes", "webstack-pyservlet.jar"),
1.13 + os.path.join(appname, "WEB-INF", "lib", "webstack-pyservlet.jar"))
1.14
1.15 # Copy the WebStack package.
1.16