summaryrefslogtreecommitdiffstats
path: root/otherlibs/win32unix/unix.ml
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2010-01-22 12:48:24 +0000
committerDamien Doligez <damien.doligez-inria.fr>2010-01-22 12:48:24 +0000
commit04b1656222698bd7e92f213e9a718b7a4185643a (patch)
tree6186d1ba1e00adb1232908f95cb92c299902a943 /otherlibs/win32unix/unix.ml
parentbdc0fadee2dc9669818955486b4c3497016edda5 (diff)
clean up spaces and tabs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unix.ml')
-rw-r--r--otherlibs/win32unix/unix.ml12
1 files changed, 6 insertions, 6 deletions
diff --git a/otherlibs/win32unix/unix.ml b/otherlibs/win32unix/unix.ml
index f8d663170..c8396d7fd 100644
--- a/otherlibs/win32unix/unix.ml
+++ b/otherlibs/win32unix/unix.ml
@@ -145,7 +145,7 @@ external waitpid : wait_flag list -> int -> int * process_status
external getpid : unit -> int = "unix_getpid"
let fork () = invalid_arg "Unix.fork not implemented"
-let wait () = invalid_arg "Unix.wait not implemented"
+let wait () = invalid_arg "Unix.wait not implemented"
let getppid () = invalid_arg "Unix.getppid not implemented"
let nice prio = invalid_arg "Unix.nice not implemented"
@@ -515,7 +515,7 @@ external accept : file_descr -> file_descr * sockaddr = "unix_accept"
external bind : file_descr -> sockaddr -> unit = "unix_bind"
external connect : file_descr -> sockaddr -> unit = "unix_connect"
external listen : file_descr -> int -> unit = "unix_listen"
-external shutdown : file_descr -> shutdown_command -> unit = "unix_shutdown"
+external shutdown : file_descr -> shutdown_command -> unit = "unix_shutdown"
external getsockname : file_descr -> sockaddr = "unix_getsockname"
external getpeername : file_descr -> sockaddr = "unix_getpeername"
@@ -592,7 +592,7 @@ end = struct
let optint = 2
let float = 3
let error = 4
- external get: ('opt, 'v) t -> file_descr -> 'opt -> 'v
+ external get: ('opt, 'v) t -> file_descr -> 'opt -> 'v
= "unix_getsockopt"
external set: ('opt, 'v) t -> file_descr -> 'opt -> 'v -> unit
= "unix_setsockopt"
@@ -678,7 +678,7 @@ let getaddrinfo node service opts =
with Failure _ ->
try
[ty, (getservbyname service kind).s_port]
- with Not_found -> []
+ with Not_found -> []
in
let ports =
match !opt_socktype with
@@ -709,7 +709,7 @@ let getaddrinfo node service opts =
[] in
(* Cross-product of addresses and ports *)
List.flatten
- (List.map
+ (List.map
(fun (ty, port) ->
List.map
(fun (addr, name) ->
@@ -772,7 +772,7 @@ let create_process prog args fd1 fd2 fd3 =
let create_process_env prog args env fd1 fd2 fd3 =
win_create_process prog (make_cmdline args)
(Some(String.concat "\000" (Array.to_list env) ^ "\000"))
- fd1 fd2 fd3
+ fd1 fd2 fd3
external system: string -> process_status = "win_system"