@Martin: if there is no server on the other side, there is no result and the search time-out (what the previous version was doing, didn't check with the latest code). There is nothing user visible and the local scope still feeds results.
@Martin: if there is no server on the other side, there is no result and the search time-out (what the previous version was doing, didn't check with the latest code). There is nothing user visible and the local scope still feeds results.