191         // if player's pivot is some other player, then don't re-check the terrain

   191         // if player's pivot is some other player, then don't re-check the terrain

   192         if (player.getPivot() != this)

   192         if (player.getPivot() != this)

   193             return;

   193             return;

   194 

   194 

   195         // If there's no ground on the pivot point anymore, release the rope

   195         // If there's no ground on the pivot point anymore, release the rope

   197             // XXX: move to some new method

   197             // XXX: move to some new method

   198             state = ROPE_FLYING;

   198             state = ROPE_FLYING;

   199             length = ROPE_LENGTH;

   199             length = ROPE_LENGTH;

   200             inAir = true;

   200             inAir = true;

   201             player.setPivot(NULL);

   201             player.setPivot(NULL);