diff options
| author | buisson | 2005-04-29 09:35:43 +0000 |
|---|---|---|
| committer | buisson | 2005-04-29 09:35:43 +0000 |
| commit | 22c1e6dbe7cf74936e5ca29eadeff81312ccc506 (patch) | |
| tree | 3304815b956eb5c76674fa2763d3da8a2e73394f /examples/glibivyprobe.ml | |
| parent | 23abb4b87c7e40ed259dd02f653516f60e55ade4 (diff) | |
| download | ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.zip ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.gz ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.bz2 ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.xz | |
Initial revision
Diffstat (limited to 'examples/glibivyprobe.ml')
| -rw-r--r-- | examples/glibivyprobe.ml | 9 |
1 files changed, 9 insertions, 0 deletions
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 () |