Fri, 10 Mar 2023 23:00:02 +0100
resourcepool_free should remove the resource from the request resource cache
<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>