diff options
| author | Miles Bader <miles@gnu.org> | 1996-07-13 03:47:48 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-07-13 03:47:48 +0000 |
| commit | d10fe52074429bf547ea3899c457302242143b12 (patch) | |
| tree | 154af36215c593554ed7ebb7d979da9d6a171804 /release | |
| parent | 25e1258dbecc455cb2cc2bd7824729e7171574eb (diff) | |
(dog):
Get rid of `Beware of dog' -- it can't ever happen.
Rename watch_login calls to check_login; don't use return value.
(check_login):
Renamed from watch_login. Change type to void.
Exit if there's no such process.
Diffstat (limited to 'release')
0 files changed, 0 insertions, 0 deletions