diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2017-10-27 15:55:26 +0200 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2017-10-27 15:55:26 +0200 |
| commit | 9ed18ee34a063ad29803eb38487a1a7eec250d46 (patch) | |
| tree | dca9deec5f16a34fa4c74880ea275beab37440b3 /java/vaadin-u2f/build.xml | |
| parent | 67562214e8a92a42198a44d5e984829d8305e082 (diff) | |
| download | share-9ed18ee34a063ad29803eb38487a1a7eec250d46.zip share-9ed18ee34a063ad29803eb38487a1a7eec250d46.tar.gz | |
get rid of tomcat stuff
Diffstat (limited to 'java/vaadin-u2f/build.xml')
| -rw-r--r-- | java/vaadin-u2f/build.xml | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/java/vaadin-u2f/build.xml b/java/vaadin-u2f/build.xml index bcac04b..252f8f7 100644 --- a/java/vaadin-u2f/build.xml +++ b/java/vaadin-u2f/build.xml @@ -26,16 +26,6 @@ <property name="compile.deprecation" value="false"/> <property name="compile.optimize" value="true"/> - <property file="${basedir}/tomcat.properties"/> - <path id="cp.tomcat"> - <fileset dir="${catalina.home}/bin"> - <include name="*.jar"/> - </fileset> - <fileset dir="${catalina.home}/lib"> - <include name="*.jar"/> - </fileset> - </path> - <taskdef classpathref="cp.tomcat" resource="org/apache/catalina/ant/catalina.tasks" /> <path id="cp.build"> <dirset dir="${classes.dir}" /> </path> @@ -134,7 +124,6 @@ deprecation="${compile.deprecation}" optimize="${compile.optimize}" includeantruntime="false"> - <classpath refid="cp.tomcat"/> <classpath refid="ivy.deps.server-side"/> <compilerarg value="-Xlint:all"/> <compilerarg value="-Xlint:-path"/> @@ -262,25 +251,4 @@ </java> </target> - <!-- tomcat specific targets --> - - <target name="remove" depends="configure" description="remove application on servlet container"> - <undeploy url="${manager.url}" - username="${manager.username}" - password="${manager.password}" - path="${app.path}" - failonerror="false"/> - </target> - - - <target name="install" depends="war,remove" description="install application to servlet container"> - <copy todir="/tmp" file="${dist.dir}/${war.name}"/> - <deploy url="${manager.url}" - username="${manager.username}" - password="${manager.password}" - path="${app.path}" - localWar="file://tmp/${war.name}"/> - <delete file="/tmp/${war.name}"/> - </target> - </project> |