diff options
Diffstat (limited to 'trunk/examples/tkivyprobe.ml')
| -rw-r--r-- | trunk/examples/tkivyprobe.ml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/trunk/examples/tkivyprobe.ml b/trunk/examples/tkivyprobe.ml new file mode 100644 index 0000000..67ee3aa --- /dev/null +++ b/trunk/examples/tkivyprobe.ml @@ -0,0 +1,10 @@ +let _ = + Ivyprobe.init (); + let top = Tk.openTk () in + try + ignore (TkIvy.set_up_channel Unix.stdin Ivy.stop (fun _ -> Ivyprobe.read stdin)); + TkIvy.main () + with + End_of_file -> Ivy.stop () + + |