changeset 51918:9fbd3ef3087d

(User Identification): user-uid, user-real-uid can return float.
author Richard M. Stallman <rms@gnu.org>
date Mon, 14 Jul 2003 15:59:52 +0000
parents 3039afbb0746
children d51ac8d52e63
files lispref/os.texi
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/lispref/os.texi	Mon Jul 14 15:59:12 2003 +0000
+++ b/lispref/os.texi	Mon Jul 14 15:59:52 2003 +0000
@@ -917,6 +917,7 @@
 
 @defun user-real-uid
 This function returns the real @sc{uid} of the user.
+The value may be a floating point number.
 
 @example
 @group
@@ -928,6 +929,7 @@
 
 @defun user-uid
 This function returns the effective @sc{uid} of the user.
+The value may be a floating point number.
 @end defun
 
 @node Time of Day