If he's awake and wanting to play it may be that a routine tweak is in order. As for leaving him to cry - well, it depends on the cry. If it is a mantra cry than you can leave him to settle himself. But if it is an 'I need you!' cry then we would always so to go to him straight away.