[ merge ] patch from fischermi@t-online.de, GDB server endless loop