How would you have pulled your CCW in that situation? She got out alive. That's always the goal; to stay alive.
Pat her on her back and give her a hug for a job well done. When I was delivering at PH, I lost a good friend to a robbery by knife. They didn't ask, they didn't request... nothing. They just walked up to him and started stabbing him.