lib/scripts/feeder.pl
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>) {