Hi hun,
Green snot usually means an infection and you should definitely take him to the doctor. I think its the same with yellow snot.

Hope your DS gets better soon