src/server/plugins/java/build.xml@570026d3a685
src/server/plugins/java/build.xml
Sun, 15 May 2022 08:56:00 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sun, 15 May 2022 08:56:00 +0200
- branch
- webdav
- changeset 361
- 570026d3a685
- parent 84
- afd57ce39ec9
- permissions
- -rw-r--r--
make sure the http stream is finished if headers are sent
<project> <property name="src" location="javasrc"/> <property name="build" location="../../../../build/java"/> <property name="dist" location="../../../../work"/> <target name="clean"> <delete dir="../../../../build/java"/> </target> <target name="compile"> <mkdir dir="${build}"/> <javac srcdir="javasrc" destdir="../../../../build/java"/> </target> <target name="jar"> <jar destfile="${dist}/lib/wsrt.jar" basedir="${build}"/> </target> </project>
