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

   1 package org.simantics.district.maps.server.prefs;
   2
   3 import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
   4 import org.osgi.service.prefs.Preferences;
   5
   6 public class MapsServerInitializer extends AbstractPreferenceInitializer {
   7
   8     @Override
   9     public void initializeDefaultPreferences() {
  10         Preferences node = MapsServerPreferences.getPreferences();
  11
  12         node.putBoolean(MapsServerPreferences.P_START_AUTOMATICALLY, true);
  13         node.putInt(MapsServerPreferences.P_DEFAULT_PORT, 8080);
  14     }
  15
  16 }