# HG changeset patch
# User wenzelm
# Date 1288817636 -3600
# Node ID 3e4bb6e7c3cae2fa4a923c38a2fd440f90844df4
# Parent  69930308b89615f02310323fa5260819051d2c25
feeder: treat header as escaped utf8 to allow initial ML text to refer to non-ASCII file/directory names (e.g. "Documents/" on Chinese Ubuntu);

diff -r 69930308b896 -r 3e4bb6e7c3ca lib/scripts/feeder
--- a/lib/scripts/feeder	Wed Nov 03 17:11:40 2010 +0100
+++ b/lib/scripts/feeder	Wed Nov 03 21:53:56 2010 +0100
@@ -16,7 +16,7 @@
   echo "Usage: $PRG [OPTIONS]"
   echo
   echo "  Options are:"
-  echo "    -h TEXT      head text"
+  echo "    -h TEXT      head text (encoded as utf8)"
   echo "    -p           emit my pid"
   echo "    -q           do not pipe stdin"
   echo "    -t TEXT      tail text"
diff -r 69930308b896 -r 3e4bb6e7c3ca lib/scripts/feeder.pl
--- 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>) {