]> mop.ddnsfree.com - git repositories - brisk.git/commitdiff
corretta gestione cambio nickname in partita
authorMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Sun, 21 Jan 2007 12:19:04 +0000 (12:19 +0000)
committerMatteo Nastasi (mop) <nastasi@alternativeoutput.it>
Sun, 21 Jan 2007 12:19:04 +0000 (12:19 +0000)
web/brisk.phh

index 3188b34c28f68019a6f81f4d6f26bd1cb6b25eee..2a7355c97bc4e6ab0f078d06147d2019da1ec311 100644 (file)
@@ -554,7 +554,8 @@ class brisco {
       // update remote graphs
       for ($i = 0 ; $i < MAX_PLAYERS ; $i++) {
        $user_cur = &$this->user[$i];
-       if ($user_cur->sess == '' || $user_cur->stat != 'room')
+       //      if ($user_cur->sess == '' || $user_cur->stat != 'room')
+       if ($user_cur->sess == '')
          continue;
        if ($user_cur->name == $name_new) {
          $user->comm[$user->step % COMM_N] = "gst.st = ".($user->step+1)."; ";