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