# Commands to be executed at login time

# This script is executed AFTER .profile, so $BIRCH is
# already set.

if [ $BIRCH_DEBUG -eq 1 ]  
   then
      echo Running $BIRCH/admin/profile.login.source
fi

#-------------------------------------------------------------
# Generate statistics on users
# record logins
#echo `whoami` `date` >> $BIRCH/local/admin/logins.log
# Check to see if we can log when the user logs in.
# If BIRCH is mounted read only, we don't crash the script
if [ $BIRCH_LOGGING -eq 1 ] 
   then
      echo `whoami` `date` >> $BIRCH/local/admin/logins.log
fi


####################################################
#             LOCAL EXTENSIONS TO BIRCH            #
####################################################
if [ -f $BIRCH/local/admin/local.profile.login.source ]
   then
       . $BIRCH/local/admin/local.profile.login.source
fi