examples/glibivyprobe.ml


1
2
3
4
5
6
7
8
9

(* $Id$ *)

let _ =
  Ivyprobe.init ();
  try
    ignore (GlibIvy.set_up_channel Unix.stdin Ivy.stop (fun _ -> Ivyprobe.read stdin));
    GlibIvy.main ()
  with
    End_of_file -> Ivy.stop ()