From 22c1e6dbe7cf74936e5ca29eadeff81312ccc506 Mon Sep 17 00:00:00 2001
From: buisson
Date: Fri, 29 Apr 2005 09:35:43 +0000
Subject: Initial revision

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

(limited to 'examples/glibivyprobe.ml')

diff --git a/examples/glibivyprobe.ml b/examples/glibivyprobe.ml
new file mode 100644
index 0000000..fb7e1f3
--- /dev/null
+++ b/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