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