docs: function checkIfPushWorked(node, p, stage, milliseconds) {
          var stage;
  
          node.info('push-manager: received reply from ' + p.id);
  
          setTimeout(function() {
              var pp;
              if (node.game.pl.exist(p.id)) {
                  pp = node.game.pl.get(p.id);
  
                  // Client could have moved to next step, or be DONE
                  // waiting for a command from server.
                  if (GameStage.compare(pp.stage, stage) !== 0 ||
                      pp.stageLevel === DONE) {
  
                      node.info('push-manager: push worked for ' + p.id);
                  }
                  else {
                      forceDisconnect(node, pp);
                  }
              }
          }, milliseconds || 0);
      }