Redirections à travers Ocaml

Mes remerciements les plus vifs à un japonais inconnu dont le post(?) sur un blog(?) m'a débloqué! J'essayais de gérer les redirections entre des programmes démarrés à travers Ocaml, et j'avais un mal fou à rediriger les flux. Je n'ai rien compris à son post, juste vu le code, et j'ai compris que je m'y prenais comme un pied.

Maintenant, j'ai une fonction toute bête pour prendre un JPEG en entrée et ressortir le texte en sortie:

let gocr file = 
  let i_file = Unix.openfile file [Unix.O_RDONLY] 0 in
  let gocr_in, jpg_out = Unix.pipe() in
  let result, gocr_out = Unix.pipe() in
  let pid0 = 
    Unix.create_process 
      "jpegtopnm" 
      [|"jpegtopnm"|] i_file jpg_out Unix.stderr in
    Unix.close jpg_out;
  let pid1 = 
    Unix.create_process 
      "gocr" 
      [|"gocr"; "-"|] gocr_in gocr_out Unix.stderr in
    Unix.close gocr_out;
    ignore(Unix.waitpid [] pid0);
    ignore(Unix.waitpid [] pid1);
    let buffer = Buffer.create 4096 in
    let read_buffer = String.create 512 in
    let r = ref true in
      while !r do
 let len = Unix.read result read_buffer 0 512 in
   if len > 0 then
     Buffer.add_substring buffer read_buffer 0 len
   else
     r := false
      done;
      Buffer.contents buffer

L'on ouvre donc le fichier d'entrée, un pipe entre jpegtopnm et gocr, et un pipe entre gocr et notre sortie (si quelqu'un a une idée pour se débarrasser du deuxième pipe, je suis preneur!). L'on chaîne les processus avec les descripteurs de fichiers ainsi récupérés, et, très important, on ferme le pipe d'output après l'avoir donné à un processus. Pour la fin, je lis bêtement depuis mon pipe jusque dans un buffer, jusqu'à ce que le pipe soit vide, et je renvoie le contenu du buffer.

Ceci m'approche d'autant plus du moment où je vais enfin pouvoir faire la reconnaissance de caractères directement depuis le serveur web.