Posting here for ideas as this has never happened before. He said he felt like he needed to pee and then it just came out, he couldn't do anything about it.
Could this be an infection or one-off? Should I call the doctor or wait to see if it happens again? But that might be really embarrassing for him, this time he was just walking from from school so no-one saw.