changing Jabber server does not always connect to the new server

[sascha_silbe]

presenceservice.py contains the following code:

    def RestartServerConnection(self):
        """Stop and restart the server_plugin.
        
        This allows changing jabber servers without restarting Sugar.
        """
        if self._server_plugin:
            if self._server_plugin.status == CONNECTION_STATUS_CONNECTED:
                self._server_plugin.cleanup()
                self._server_plugin.start()

As you see it only connects to the new server if there already was a working connection to the previous one. This will cause a significant delay (up to 5 minutes) before connecting to the new server as we need to wait for the retry timeout to expire (encountered up to 160s myself during testing).

[tomeu]

This has been fixed in master (0.90) as a side effect of ​http://git.sugarlabs.org/projects/sugar/repos/mainline/commits/770f9003

Moving to 0.88 in case people want to cook up a patch for the old PS