Adding integrated tile server

[simantics/district.git] / org.simantics.maps.server / src / org / simantics / district / maps / server / prefs / MapsServerPreferences.java

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 (file)
index 0000000..b9a5845
--- /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);
+    }
+
+}