X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=org.simantics.maps.server%2Fsrc%2Forg%2Fsimantics%2Fdistrict%2Fmaps%2Fserver%2Fprefs%2FMapsServerPreferences.java;fp=org.simantics.maps.server%2Fsrc%2Forg%2Fsimantics%2Fdistrict%2Fmaps%2Fserver%2Fprefs%2FMapsServerPreferences.java;h=b9a5845ec44006fc0d729314c5080efde99ee7d1;hb=2529be6d456deeb07c128603ce4971f1dc29b695;hp=0000000000000000000000000000000000000000;hpb=2636fc31c16c23711cf2b06a4ae8537bba9c1d35;p=simantics%2Fdistrict.git

diff --git a/org.simantics.maps.server/src/org/simantics/district/maps/server/prefs/MapsServerPreferences.java b/org.simantics.maps.server/src/org/simantics/district/maps/server/prefs/MapsServerPreferences.java
new file mode 100644
index 00000000..b9a5845e
--- /dev/null
+++ b/org.simantics.maps.server/src/org/simantics/district/maps/server/prefs/MapsServerPreferences.java
@@ -0,0 +1,28 @@
+package org.simantics.district.maps.server.prefs;
+
+import org.eclipse.core.runtime.preferences.DefaultScope;
+import org.osgi.service.prefs.Preferences;
+//import org.simantics.maps.server.ui.Activator;
+import org.simantics.district.maps.server.Activator;
+
+public class MapsServerPreferences {
+
+    public static final String P_NODE = Activator.PLUGIN_ID;
+    
+    public static final String P_START_AUTOMATICALLY = "org.simantics.maps.server.startAutomatically";
+
+    public static final String P_DEFAULT_PORT = "org.simantics.maps.server.defaultPort";
+
+    public static Preferences getPreferences() {
+        return DefaultScope.INSTANCE.getNode(MapsServerPreferences.P_NODE);
+    }
+    
+    public static boolean startAutomatically() {
+        return getPreferences().getBoolean(P_START_AUTOMATICALLY, true);
+    }
+
+    public static int defaultPort() {
+        return getPreferences().getInt(P_DEFAULT_PORT, 8080);
+    }
+
+}