# HG changeset patch
# User wenzelm
# Date 1295469950 -3600
# Node ID aa002926cbf1e821c9e3b0a8ab6816f39ca6c55d
# Parent  f70d2cb26acf817c3a05ecd4d9eb56816fa68d42
potentially more robust utf8 handling (cf. 3e4bb6e7c3ca);

diff -r f70d2cb26acf -r aa002926cbf1 lib/scripts/feeder.pl
--- a/lib/scripts/feeder.pl	Wed Jan 19 21:01:37 2011 +0100
+++ b/lib/scripts/feeder.pl	Wed Jan 19 21:45:50 2011 +0100
@@ -25,7 +25,7 @@
 $emitpid && (print $$, "\n");
 
 if ($head) {
-  utf8::encode($head);
+  utf8::upgrade($head);
   $head =~ s/([\x80-\xff])/\\${\(ord($1))}/g;
   print $head, "\n";
 }