diff options
author | Steffen Ritter | 2023-02-14 17:38:22 +0100 |
---|---|---|
committer | Steffen Ritter | 2023-02-14 17:38:22 +0100 |
commit | d428543ba5d7feb0efd187cbf8cfa660789726e3 (patch) | |
tree | 0bf283ab094c4c2edffa5e1bb16d65ce8313762f /dozentenmodul/src/main/java/org/openslx/dozmod/Branding.java | |
parent | [client] Remove debug spam -.- (diff) | |
download | tutor-module-d428543ba5d7feb0efd187cbf8cfa660789726e3.tar.gz tutor-module-d428543ba5d7feb0efd187cbf8cfa660789726e3.tar.xz tutor-module-d428543ba5d7feb0efd187cbf8cfa660789726e3.zip |
[client] Allow override for remote version check
Diffstat (limited to 'dozentenmodul/src/main/java/org/openslx/dozmod/Branding.java')
-rw-r--r-- | dozentenmodul/src/main/java/org/openslx/dozmod/Branding.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dozentenmodul/src/main/java/org/openslx/dozmod/Branding.java b/dozentenmodul/src/main/java/org/openslx/dozmod/Branding.java index 7fbcd308..2b086f96 100644 --- a/dozentenmodul/src/main/java/org/openslx/dozmod/Branding.java +++ b/dozentenmodul/src/main/java/org/openslx/dozmod/Branding.java @@ -43,6 +43,7 @@ public final class Branding { private static final String APPLICATION_NAME = "application.name"; private static final String MASTERSERVER_IDM = "masterserver.idm"; private static final String MASTERSERVER_ADDRESS = "masterserver.address"; + private static final String UPDATESERVER_ADDRESS = "updateserver.address"; private final static String PROPERTIES_FILE = "branding.properties"; private final static Properties PROPERTIES = new Properties(); @@ -62,6 +63,7 @@ public final class Branding { put(CONFIG_DIRECTORY, "bwSuite"); put(SERVICE_EMAIL, "support@bwlehrpool.de"); put(VIRTUALIZER_WEBSITE, "https://www.bwlehrpool.de/doku.php/allgemein/virtualisierer"); + put(UPDATESERVER_ADDRESS, "https://bwlp-masterserver.ruf.uni-freiburg.de/dozmod/"); } }; @@ -160,6 +162,10 @@ public final class Branding { return PROPERTIES.getProperty("proxy.mode", ProxyMode.AUTO.toString()); } + public final static String getUpdateServerAddress() { + return PROPERTIES.getProperty("updateserver.address"); + } + public static void dump(final String localDir) { if (localDir == null || localDir.isEmpty()) return; |