Ignore:
Timestamp:
2017-09-13T23:24:50+02:00 (7 years ago)
Author:
bastiK
Message:

see #15229 - use Config.getPref() wherever possible

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/io/remotecontrol/RemoteControlHttpServer.java

    r12841 r12846  
    99import java.net.SocketException;
    1010
    11 import org.openstreetmap.josm.Main;
     11import org.openstreetmap.josm.spi.preferences.Config;
    1212import org.openstreetmap.josm.tools.Logging;
    1313
     
    3333    public static void restartRemoteControlHttpServer() {
    3434        stopRemoteControlHttpServer();
    35         int port = Main.pref.getInt("remote.control.port", 8111);
     35        int port = Config.getPref().getInt("remote.control.port", 8111);
    3636        try {
    3737            instance4 = new RemoteControlHttpServer(port, false);
Note: See TracChangeset for help on using the changeset viewer.