Dealing with depression and dealing with so many different personalities at work can be difficult to deal with. You have to brush it off can't hang emotions on that situation although it was unfortunate and immature of the person. You'll be all right especially since you got confirmation from your boss that you were fine and it wasn't a big deal.