PHP sends a default text/html header before output, so the output can get misinterpreted. robotstxt_robots() should have something like header("Content-type: text/plain"); or drupal_set_header("Content-type: text/plain"); added before the output.

Comments

robertdouglass’s picture

robertdouglass commented
Status: Active » Fixed

Thanks! Committed. Could you do a sanity check and make sure everything looks right?

deekayen’s picture

deekayen commented

4-7 looks ok.

Anonymous’s picture

(not verified) commented
Status: Fixed » Closed (fixed)