I just got confirmation from de.comp.lang.iso-c++ that getline() should never return the '\r' if the stream is in text mode.
So which compiler was that? The only possibility is a '\r\r\n' in the raw input... Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson)