I didn't need to because as soon as I saved as Unix style (I use BBEdit, a mac/unix text editor) and it started indexing ok.
But I've now tested it with the new phpdigReadRobotsTxt function. I created a different robots.txt saved with macintosh style line endings
and it seems that your new function does the trick. It's now indexing perfectly.
Thank you so much for considering the needs of us mac heads and our eccentric line endings!