diff options
Diffstat (limited to 'trunk/examples/glibivyprobe.ml')
| -rw-r--r-- | trunk/examples/glibivyprobe.ml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/trunk/examples/glibivyprobe.ml b/trunk/examples/glibivyprobe.ml deleted file mode 100644 index fb7e1f3..0000000 --- a/trunk/examples/glibivyprobe.ml +++ /dev/null @@ -1,9 +0,0 @@ -(* $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 () |