# HG changeset patch # User Nikita Kozlov # Date 1254057950 -7200 # Node ID 09cfee97f900d73e81c6410df1f3b092986d602e # Parent ee45ce9c47fed862cc2c819005cc70cd1e299170 petit debug dans les options diff -r ee45ce9c47fe -r 09cfee97f900 res/layout/preferences.xml --- a/res/layout/preferences.xml Sun Sep 27 06:48:28 2009 +0200 +++ b/res/layout/preferences.xml Sun Sep 27 15:25:50 2009 +0200 @@ -1,10 +1,12 @@ - - + - - - @@ -43,14 +45,14 @@ - + - + \ No newline at end of file diff -r ee45ce9c47fe -r 09cfee97f900 src/com/beem/project/beem/BeemService.java --- a/src/com/beem/project/beem/BeemService.java Sun Sep 27 06:48:28 2009 +0200 +++ b/src/com/beem/project/beem/BeemService.java Sun Sep 27 15:25:50 2009 +0200 @@ -36,6 +36,7 @@ * The id to use for status notification. */ public static final int NOTIFICATION_STATUS_ID = 100; + private static final int DEFAULT_XMPP_PORT = 5222; private NotificationManager mNotificationManager; private XmppConnectionAdapter mConnection; @@ -108,9 +109,14 @@ mSettings = PreferenceManager.getDefaultSharedPreferences(this); mLogin = mSettings.getString("settings_key_account_username", ""); mPassword = mSettings.getString("settings_key_account_password", ""); - mHost = mSettings.getString("settings_key_xmpp_server", ""); - mPort = Integer.parseInt(mSettings.getString("settings_key_xmpp_port", "5222")); + mPort = DEFAULT_XMPP_PORT; mService = StringUtils.parseServer(mLogin); + mHost = StringUtils.parseServer(mLogin); + + if (mSettings.getBoolean("settings_key_specific_server", false)) { + mHost = mSettings.getString("settings_key_xmpp_server", ""); + mPort = Integer.parseInt(mSettings.getString("settings_key_xmpp_port", "5222")); + } if (mSettings.getBoolean("settings_key_gmail", false)) { mHost = "talk.google.com";