umc ide: Add the port for 1.12.x

wesnoth · Mar 21, 2015 · f238b11 · f238b11
1 parent 64a9558
commit f238b11
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/utils/umc_dev/org.wesnoth/src/org/wesnoth/preferences/AddonManagerPreferencePage.java b/utils/umc_dev/org.wesnoth/src/org/wesnoth/preferences/AddonManagerPreferencePage.java
@@ -39,6 +39,7 @@ public class AddonManagerPreferencePage extends AbstractPreferencePage
     public final static Map< String, String > ADDON_SERVER_PORTS       = new HashMap< String, String >( );
 
     static {
+        ADDON_SERVER_PORTS.put( "15007", "1.12.x" ); //$NON-NLS-1$ //$NON-NLS-2$
         ADDON_SERVER_PORTS.put( "15006", "1.11.x" ); //$NON-NLS-1$ //$NON-NLS-2$
         ADDON_SERVER_PORTS.put( "15002", "1.10.x" ); //$NON-NLS-1$ //$NON-NLS-2$
         ADDON_SERVER_PORTS.put( "15002", "1.9.x" ); //$NON-NLS-1$ //$NON-NLS-2$
@@ -88,7 +89,6 @@ protected void createFieldEditors( )
         portsRegex.deleteCharAt( portsRegex.length( ) - 1 );
         portsRegex.append( ")*" ); //$NON-NLS-1$
 
-        // System.out.println(portsRegex.toString());
         addField(
             new RegexStringFieldEditor( Preferences.ADDON_MANAGER_PORT,
                 Messages.AddonManagerPreferencePage_22,