I'm reading a file into a list by:
PDF = scan("file",what="character",sep="\10")

"\10" is the newline character in this file, also tried "\n" originally

On lines that are ended by "\13\10", both are dropped from the list entry
I want scan to keep the "\13" in the list entry.

Is this a bug or just a strange feature?



	[[alternative HTML version deleted]]


