[Mldonkey-commits] Changes to mldonkey/src/utils/lib/unix32.ml

[mldonkey-commits]

Index: mldonkey/src/utils/lib/unix32.ml
diff -u mldonkey/src/utils/lib/unix32.ml:1.35 
mldonkey/src/utils/lib/unix32.ml:1.36
--- mldonkey/src/utils/lib/unix32.ml:1.35       Tue Aug  9 10:52:02 2005
+++ mldonkey/src/utils/lib/unix32.ml    Sun Aug 28 10:49:49 2005
@@ -40,6 +40,9 @@
 let ro_flag =  [Unix.O_RDONLY]
 let rw_flag =  [Unix.O_CREAT; Unix.O_RDWR]
 
+external external_start : unit -> unit = "external_start"
+external external_exit : unit -> unit = "external_exit"
+
 let really_write fd s pos len =
   try
     Unix2.really_write fd s pos len