#	usage: writemail message user
#	if user is logged in, write message on terminal;
#	otherwise, mail it to user
echo "$1" | { write "$2" || mail "$2" ;}
