# HG changeset patch
# User luisf <luis.figueira@eecs.qmul.ac.uk>
# Date 1386262982 0
# Node ID 495cab3dc33a6b7ab2a517d13e3f6fb725f0dfb2
# Parent  00cae11c09bd2f2e71e68ee32e1ccb0586c24291
Making sure the war file is rebuilt when the java classes are changed

diff -r 00cae11c09bd -r 495cab3dc33a build.xml
--- a/build.xml	Thu Dec 05 15:14:03 2013 +0000
+++ b/build.xml	Thu Dec 05 17:03:02 2013 +0000
@@ -19,10 +19,12 @@
 
   <uptodate property="warBuild.notRequired" targetfile="${war.file}" >
     <srcfiles dir= "${classes}" includes="*.class"/>
+    <srcfiles dir= "${src}" includes="*.java" />
     <srcfiles dir= "${web.dir}" includes="*.jsp"/>
     <srcfiles dir= "${web.dir}" includes="*.css"/>
     <srcfiles dir= "${web.dir}" includes="*.xml" />
     <srcfiles dir= "${web.dir}/script" includes="*.js" />
+    <srcfiles dir= "${web.dir}/script" includes="*.js" />
   </uptodate>
 
   <target name="init">