previous next top contents index framed top this page unframed
$login is a bit that specifies that the login user ID should be returned instead of the effective user ID, if the operating system makes such a distinction. It may be passed to $userID.
MAINSAIL Language Manual, Section 40.22