Re - LOGIN built-in of CSH ignores ".logout"; so does EXEC

[idallen at watmath.UUCP]

The EXEC built-in also gets around the .logout; I changed our CSH to do
the logout no matter how the shell exits: login, logout, ^D, exit, or exec.
-- 
        -IAN!  (Ian! D. Allen)      University of Waterloo