Tor Connectivity Issues

I have issues with Briar contacts seeing each other online. It works fine after adding the contacts. But after some time, when they have different IP addresses in the local network, they never turn up as online.

Connecting through Tor does not seem to work. They try to connect to the proper hidden services addresses, but in the log there is just this without further information:

org.briarproject I/TorPlugin: Could not connect to [bla].onion

Maybe, the tor hidden service performance patch is missing from the latest tor binaries? Without that patch we used to get a lot of connection failures.

Maybe this can be investigated along with #203 (closed).