Sat, 24 Aug 2024 22:37:12 +0200
improve webserver shutdown and free some stuff to make the valgrind output cleaner
<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>