X-Git-Url: https://git.nubati.net/cgi-bin/gitweb.cgi?p=e-DoKo.git;a=blobdiff_plain;f=include%2Ffunctions.php;h=5267bfb4e42105c33005af56152707fb75e2cec8;hp=28e5937c5a1259f5c9841fcf16f8aa1ef2967789;hb=a40c1ed8a796ad846a254da83a83ae92c3184228;hpb=924f395a39eeccbcd54d540613e440cbedd6ba3d diff --git a/include/functions.php b/include/functions.php index 28e5937..5267bfb 100644 --- a/include/functions.php +++ b/include/functions.php @@ -1,5 +1,5 @@ \n". " \"table\"\n"; - while($r = mysql_fetch_array($result,MYSQL_NUM)) + while($r = DB_fetch_array($result)) { $name = $r[0]; $pos = $r[1]; @@ -703,6 +737,10 @@ function display_table () echo " $name\n"; /* add hints for poverty, wedding, solo, etc */ + if( $gametype != "solo") + if( $RULES["schweinchen"]=="both" && $GAME["schweinchen-who"]==$hash ) + echo " Schweinchen.
"; + if($GT=="poverty" && $party=="re") if($sickness=="poverty") { @@ -808,27 +846,29 @@ function display_table () function display_user_menu() { - global $WIKI,$myid,$INDEX,$STATS; + global $WIKI,$myid,$INDEX; echo "
\n". " Go to my user page "; - $result = mysql_query("SELECT Hand.hash,Hand.game_id,Game.player from Hand". - " LEFT JOIN Game On Hand.game_id=Game.id". - " WHERE Hand.user_id='$myid'". - " AND Game.player='$myid'". - " AND Game.status<>'gameover'". - " ORDER BY Game.session" ); - if(mysql_num_rows($result)) + $result = DB_query("SELECT Hand.hash,Hand.game_id,Game.player from Hand". + " LEFT JOIN Game On Hand.game_id=Game.id". + " WHERE Hand.user_id='$myid'". + " AND Game.player='$myid'". + " AND Game.status<>'gameover'". + " ORDER BY Game.session" ); + if(DB_num_rows($result)) echo "
It's your turn in these games:
\n"; - while( $r = mysql_fetch_array($result,MYSQL_NUM)) + while( $r = DB_fetch_array($result)) { echo "game ".DB_format_gameid($r[1])."
\n"; } echo "
Start a new game\n"; - echo "
Statistics\n"; + echo "
Change settings\n"; + + echo "
Statistics\n"; echo "
Report bugs in the wiki\n"; @@ -838,7 +878,6 @@ function display_user_menu() function generate_score_table($session) { - /* get all ids */ $gameids = DB_get_gameids_of_finished_games_by_session($session); @@ -850,10 +889,10 @@ function generate_score_table($session) /* get player id, names... from the first game */ $player = array(); - $result = mysql_query("SELECT User.id, User.fullname from Hand". - " LEFT JOIN User On Hand.user_id=User.id". - " WHERE Hand.game_id=".$gameids[0]); - while( $r = mysql_fetch_array($result,MYSQL_NUM)) + $result = DB_query("SELECT User.id, User.fullname from Hand". + " LEFT JOIN User On Hand.user_id=User.id". + " WHERE Hand.game_id=".$gameids[0]); + while( $r = DB_fetch_array($result)) { $player[] = array( 'id' => $r[0], 'points' => 0 ); $output.= " ".substr($r[1],0,2)." \n"; @@ -892,4 +931,65 @@ function generate_score_table($session) return $output; } +function generate_global_score_table() +{ + /* get all ids */ + $gameids = DB_get_gameids_of_finished_games_by_session(0); + + if($gameids == NULL) + return ""; + + /* get player id, names... from the User table */ + $player = array(); + $result = DB_query("SELECT User.id, User.fullname FROM User"); + + while( $r = DB_fetch_array($result)) + $player[] = array( 'id' => $r[0], 'name'=> $r[1], 'points' => 0 ,'nr' => 0); + + /* get points and generate table */ + foreach($gameids as $gameid) + { + $re_score = DB_get_score_by_gameid($gameid); + /* TODO: this shouldn't loop over all players, just the 4 players that are in the game */ + foreach($player as $key=>$pl) + { + $party = DB_get_party_by_gameid_and_userid($gameid,$pl['id']); + if($party == "re") + if(DB_get_gametype_by_gameid($gameid)=="solo") + $player[$key]['points'] += 3*$re_score; + else + $player[$key]['points'] += $re_score; + else if ($party == "contra") + $player[$key]['points'] -= $re_score; + if($party) + $player[$key]['nr']+=1; + } + } + + echo "\n \n"; + function cmp($a,$b) + { + if($a['nr']==0 ) return 1; + if($b['nr']==0) return 1; + + $a=$a['points']/$a['nr']; + $b=$b['points']/$b['nr']; + + if ($a == $b) + return 0; + return ($a > $b) ? -1 : 1; + } + usort($player,"cmp"); + foreach($player as $pl) + { + if($pl['nr']>10) + echo " \n"; + } + echo "
",$pl['name'],"",round($pl['points']/$pl['nr'],3),"
\n"; + + return; +} + + + ?>