changeset 40335 | 3e4bb6e7c3ca |
parent 39580 | 05daab5782f6 |
child 41616 | aa002926cbf1 |
--- a/lib/scripts/feeder.pl Wed Nov 03 17:11:40 2010 +0100 +++ b/lib/scripts/feeder.pl Wed Nov 03 21:53:56 2010 +0100 @@ -24,7 +24,11 @@ $emitpid && (print $$, "\n"); -$head && (print "$head", "\n"); +if ($head) { + utf8::encode($head); + $head =~ s/([\x80-\xff])/\\${\(ord($1))}/g; + print $head, "\n"; +} if (!$quit) { while (<STDIN>) {