From a17272283c803e13258e5dc6b19533c672ceee18 Mon Sep 17 00:00:00 2001
From: hattenberger
Date: Wed, 27 Mar 2013 13:17:19 +0000
Subject: some fixes in ivy-ocaml tag 1.2

---
 trunk/examples/glibivyprobe.ml | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 trunk/examples/glibivyprobe.ml

(limited to 'trunk/examples/glibivyprobe.ml')

diff --git a/trunk/examples/glibivyprobe.ml b/trunk/examples/glibivyprobe.ml
new file mode 100644
index 0000000..fb7e1f3
--- /dev/null
+++ b/trunk/examples/glibivyprobe.ml
@@ -0,0 +1,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 ()
-- 
cgit v1.1