From 4c3a7f9e7a1065c6a6d130276a18c2879d6bcb35 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mathias=20G=C3=B6bel?= <goebel@sub.uni-goettingen.de>
Date: Fri, 29 Mar 2019 23:03:43 +0100
Subject: [PATCH] fix cv dependency, change port

---
 architrave.build.properties | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/architrave.build.properties b/architrave.build.properties
index c1f5309..18d923d 100644
--- a/architrave.build.properties
+++ b/architrave.build.properties
@@ -6,9 +6,13 @@ resources.dir=${basedir}/resources
 
 #IMPORTANT
 #Only add config here that differ from generic.build.properties
+# Jetty port configuration
+jetty.http.port=8008
+jetty.https.port=8445
 
 # SADE configuration
 sade.abbrev=SADE-architrave
+code-viewer.abbrev=cv
 
 # debian package
 deb.initfile.src=${resources.dir}/deb/${deb.name}/SADE.architrave.develop.init
-- 
GitLab