From 3bfbf080d7287625b3b0203fa5402e4c086b48c4 Mon Sep 17 00:00:00 2001
From: mrodzis <weidling@sub.uni-goettingen.de>
Date: Mon, 26 Nov 2018 08:52:21 +0100
Subject: [PATCH] Apply port changes in debian package

---
 generic.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic.xml b/generic.xml
index 1cc359d..fdcbde3 100644
--- a/generic.xml
+++ b/generic.xml
@@ -151,7 +151,7 @@
     </target>
 
     <!-- SADE -->
-    <target name="sade" depends="prepare-dist-dir, sade-assets, sade-memory">
+    <target name="sade" depends="prepare-dist-dir, sade-assets, sade-memory, jetty-port">
         <git repo="${sade.git}" branch="${sade.branch}" dest="${sade.dest}"/>
         <ant antfile="${sade.dest}/build.xml" inheritAll="false"/>
         <move2autodeploy source="${sade.dest}/build/"/>
-- 
GitLab