is the school principal doing the right thing?

A 12 year boy pulled dirty on anothr boy at school. the teacher took it to the principal.
the principal made the boy to clean the restroom supervisered by the janitor.