java - Ant fails in try catch block -


in ant build have following code:

<trycatch reference="exception_ref">     <try>         <echo>start building delivery</echo>     </try>     <catch>         <property name="exception" refid="exception_ref" />         <property name="message" value="error in trycatch block:${line.separator}${exception}" />         <echo message="${message}" />         <fail message="${message}" />     </catch>     <finally>         <echo>finally</echo>     </finally> </trycatch>

ant says:

problem: failed create task or type trycatch cause: name undefined. action: check spelling. action: check custom tasks/types have been declared. action: check / declarations have taken place.

what missing here?

// edit: using ant in eclipse

trycatch task provided ant-contrib third-party library. make sure download jar , have referenced on ant classpath. see this link how this.

on eclipse, go window -> preferences -> ant -> runtime. under classpath tab, add ant-contrib jar using "add external jars..." button. , mentioned in link, need declare tasks follows:

<taskdef resource="net/sf/antcontrib/antlib.xml"/>

Comments

Post a Comment

Popular posts from this blog

javascript - AngularJS custom datepicker directive -

i make custom datepicker directive custom template. but have no idea how start building it... how include date data directive? i appreciate guide or give me advice work on more precisely. it might you! follow below steps html code sample: <label>birth date</label> <input type="text" ng-model="birthdate" date-options="dateoptions" custom-datepicker/> <hr/> <pre>birthdate = {{birthdate}}</pre> <script type="text/ng-template" id="custom-datepicker.html"> <div class="enhanced-datepicker"> <div class="proxied-field-wrap"> <input type="text" ui-date-format="yy-mm-dd" ng-model="ngmodel" ui-date="dateoptions"/> </div> <label> <button class="btn" type="button"><i class="icon-calendar"></i>
Read more

javascript - jQuery date picker - Disable dates after the selection from the first date picker -

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>jquery ui datepicker - default functionality</title> <link rel="stylesheet" href="//code.jquery.com/ui/1.11.4/themes/smoothness/jquery-ui.css"> <script src="//code.jquery.com/jquery-1.10.2.js"></script> <script src="//code.jquery.com/ui/1.11.4/jquery-ui.js"></script> <link rel="stylesheet" href="/resources/demos/style.css"> <script> $(function () { $("#datepicker1").datepicker(); }); </script> <script> $(function () { $("#datepicker2").datepicker(); }); </script> </head> <body> <p>date 1: <input type="text" id="datepicker1"></p> <p>date 2: <input type="t
Read more