Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix docstring of stats.st_rdev in Unix modules 

The st_rdev is not the minor number, it is the device ID according to
the manpage of stat, which is actually the major * 256 + minor. I've
replaced the old incorrect docstring with the description of st_rdev
from the man page of the stat command - it looks like the implemenation
of Unix.stat just puts the st_rdev returned from stat into the st_rdev
field.

Signed-off-by: Gabor Igloi <gabor.igloi@citrix.com>
master
Gabor Igloi 2018-06-07 17:02:14 +01:00
parent 1c4e822bed
commit 04cc9e8a7c
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
otherlibs/unix/unix.mli
View File

@ -426,7 +426,7 @@ type stats =
st_nlink : int; (** Number of links *)
st_uid : int; (** User id of the owner *)
st_gid : int; (** Group ID of the file's group *)
st_rdev : int; (** Device minor number *)
st_rdev : int; (** Device ID (if special file) *)
st_size : int; (** Size in bytes *)
st_atime : float; (** Last access time *)
st_mtime : float; (** Last modification time *)
@ -470,7 +470,7 @@ module LargeFile :
st_nlink : int; (** Number of links *)
st_uid : int; (** User id of the owner *)
st_gid : int; (** Group ID of the file's group *)
st_rdev : int; (** Device minor number *)
st_rdev : int; (** Device ID (if special file) *)
st_size : int64; (** Size in bytes *)
st_atime : float; (** Last access time *)
st_mtime : float; (** Last modification time *)

4
otherlibs/unix/unixLabels.mli
View File

@ -370,7 +370,7 @@ type stats = Unix.stats =
st_nlink : int; (** Number of links *)
st_uid : int; (** User id of the owner *)
st_gid : int; (** Group ID of the file's group *)
st_rdev : int; (** Device minor number *)
st_rdev : int; (** Device ID (if special file) *)
st_size : int; (** Size in bytes *)
st_atime : float; (** Last access time *)
st_mtime : float; (** Last modification time *)
@ -408,7 +408,7 @@ module LargeFile :
st_nlink : int; (** Number of links *)
st_uid : int; (** User id of the owner *)
st_gid : int; (** Group ID of the file's group *)
st_rdev : int; (** Device minor number *)
st_rdev : int; (** Device ID (if special file) *)
st_size : int64; (** Size in bytes *)
st_atime : float; (** Last access time *)
st_mtime : float; (** Last modification time *)