org.simantics.maps.server/src/org/simantics/district/maps/server/prefs/MapsServerPreferences.java

   1 package org.simantics.district.maps.server.prefs;
   2
   3 import org.eclipse.core.runtime.preferences.InstanceScope;
   4 import org.osgi.service.prefs.Preferences;
   5 import org.simantics.district.maps.server.Activator;
   6
   7 public class MapsServerPreferences {
   8
   9     public static final String P_NODE = Activator.PLUGIN_ID;
  10
  11     public static final String P_START_AUTOMATICALLY = "org.simantics.maps.server.startAutomatically";
  12
  13     public static final String P_DEFAULT_PORT = "org.simantics.maps.server.defaultPort";
  14
  15     public static final String P_CURRENT_MBTILES = "org.simantics.maps.server.currentMbTiles";
  16
  17     public static final String P_CURRENT_TM2STYLE = "org.simantics.maps.server.currentTM2Style";
  18
  19     public static Preferences getPreferences() {
  20         return InstanceScope.INSTANCE.getNode(MapsServerPreferences.P_NODE);
  21     }
  22
  23     public static boolean startAutomatically() {
  24         return getPreferences().getBoolean(P_START_AUTOMATICALLY, true);
  25     }
  26
  27     public static int defaultPort() {
  28         return getPreferences().getInt(P_DEFAULT_PORT, 8080);
  29     }
  30
  31     public static String currentMBTiles() {
  32         return getPreferences().get(P_CURRENT_MBTILES, "");
  33     }
  34
  35     public static String currentTM2Style() {
  36         return getPreferences().get(P_CURRENT_TM2STYLE, "");
  37     }
  38
  39 }