tags 498905 +patch tags 498905 +pending thanks On 2008-11-13 19:37, Tobias Scherer wrote: > I changed it to "might be disconnected" and created a new patch. Applied in rev. 5519. Many thanks!