Fri, 01 Nov 2024 12:25:52 +0100
fix pgext uses a wrong field number, if the column has the same name as a resource or property column
<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>