diff options
Diffstat (limited to 'otherlibs/threads/unix.ml')
| -rw-r--r-- | otherlibs/threads/unix.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/threads/unix.ml b/otherlibs/threads/unix.ml index 6223e1119..62c18b7e4 100644 --- a/otherlibs/threads/unix.ml +++ b/otherlibs/threads/unix.ml @@ -473,6 +473,8 @@ external getgid : unit -> int = "unix_getgid" external getegid : unit -> int = "unix_getegid" external setgid : int -> unit = "unix_setgid" external getgroups : unit -> int array = "unix_getgroups" +external setgroups : int array -> unit = "unix_setgroups" +external initgroups : string -> int -> unit = "unix_initgroups" type passwd_entry = { pw_name : string; @@ -1110,4 +1112,3 @@ let establish_server server_fun sockaddr = exit 0 | id -> close s; ignore(waitpid [] id) (* Reclaim the son *) done - |