If there are several people waiting on the table, they usually put the tips in a pot and evenly divide. Other restaurants, the server will give a small percentage to busboys, bartenders etc.. Should be no difference between credit card and cash although sometimes the forget to add the tip to the credit card later. By the way, some people do not tip at all.