X-Git-Url: https://git.nubati.net/cgi-bin/gitweb.cgi?p=e-DoKo.git;a=blobdiff_plain;f=include%2Ffunctions.php;h=466b4ae34f631d7c6a08414ebbbdd079aa0943b9;hp=4abaf935ce9fd6bb2efccbce28e422367f503fa1;hb=b4b135a91ee29a31fde39fd6792fe680bf0324d8;hpb=64f953012ebda0912a4e92ff3301f09957019477 diff --git a/include/functions.php b/include/functions.php index 4abaf93..466b4ae 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]; @@ -700,9 +765,13 @@ function display_table () if(!$debug) echo " $name \n"; else - echo " $name\n"; + 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") { @@ -806,66 +875,114 @@ function display_table () } -function display_user_menu() +function display_user_menu($id) { - 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)) - echo "
It's your turn in these games:
\n"; - - while( $r = mysql_fetch_array($result,MYSQL_NUM)) - { - echo "game ".DB_format_gameid($r[1])."
\n"; - } + global $WIKI,$INDEX; + + $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='$id'". + " AND ( Game.player='$id' OR ISNULL(Game.player) )". + " AND Game.status<>'gameover'". + " ORDER BY Game.session" ); - echo "
Start a new game\n"; + $i=0; + while( $r = DB_fetch_array($result)) + { + if($i==0) + { + echo "
\n"; + echo "It's your turn in these games:
\n"; + } - echo "
Statistics\n"; + $i++; + echo "game ".DB_format_gameid($r[1])."
\n"; + if($i>4) + { + echo "...
\n"; + break; + } + } - echo - "
Report bugs in the wiki\n"; - echo "
\n"; + if($i) + echo "
\n"; return; } function generate_score_table($session) { + /* returns an array with N entries + * $score[$i]["gameid"] = gameid + * $score[$i]["players"] = array (id=>total points) + * $score[$i]["points"] = points for this game + * $score[$i]["solo"] = 1 or 0 + */ + $score = array(); + $i=0; /* get all ids */ $gameids = DB_get_gameids_of_finished_games_by_session($session); if($gameids == NULL) - return ""; - - $output = "
\n\n \n"; - + return $score; /* 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[$r[0]] = 0; + + /* get points and generate table */ + foreach($gameids as $gameid) { - $player[] = array( 'id' => $r[0], 'points' => 0 ); - $output.= " \n"; + $re_score = DB_get_score_by_gameid($gameid); + foreach($player as $id=>$points) + { + $party = DB_get_party_by_gameid_and_userid($gameid,$id); + if($party == "re") + if(DB_get_gametype_by_gameid($gameid)=="solo") + $player[$id] += 3*$re_score; + else + $player[$id] += $re_score; + else if ($party == "contra") + $player[$id] -= $re_score; + } + $score[$i]['gameid'] = $gameid ; + $score[$i]['players'] = $player; + $score[$i]['points'] = abs($re_score); + $score[$i]['solo'] = (DB_get_gametype_by_gameid($gameid)=="solo"); + + $i++; } - $output.=" \n \n"; + + return $score; +} + +function generate_global_score_table() +{ + $return = array(); + + /* 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) { - $output.=" \n"; - $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']); @@ -876,20 +993,145 @@ function generate_score_table($session) $player[$key]['points'] += $re_score; else if ($party == "contra") $player[$key]['points'] -= $re_score; - - $output.=" \n"; + if($party) + $player[$key]['nr']+=1; } - $output.=" \n
".substr($r[1],0,2)." P
".$player[$key]['points']."".abs($re_score); + } + + 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) + { + /* limit to players with at least 10 games */ + if($pl['nr']>10) + $return[] = array( $pl['name'], round($pl['points']/$pl['nr'],3) ); + } + + return $return; +} + +function format_score_table_ascii($score) +{ + $output=""; + if(sizeof($score)==0) + return ""; + + /* truncate table if we have too many games */ + $max = sizeof($score); + if($max>6) $output.=" (table truncated to last 6 games)\n"; + + /* output header */ + foreach($score[0]['players'] as $id=>$points) + { + $name = DB_get_name('userid',$id); /*TODO*/ + $output.= " ".substr($name,0,2)." |"; + } + $output.=" P |\n"; + $output.= "------+------+------+------+------+\n"; + + /* output score for each game */ + $i=0; + foreach($score as $game) + { + $i++; + if($i-1<$max-6) continue; + + foreach($game['players'] as $id=>$points) + $output.=str_pad($points,6," ",STR_PAD_LEFT)."|"; + $output.=str_pad($game['points'],4," ",STR_PAD_LEFT); + + /* check for solo */ + if($game['solo']) + $output.= " S|"; + else + $output.= " |"; + + $output.="\n"; + } + return $output; +} + +function format_score_table_html($score,$userid) +{ + global $INDEX; + + if(sizeof($score)==0) + return ""; + + $output = "
\n\n \n \n"; + + /* output header */ + $output.= " "; + foreach($score[0]['players'] as $id=>$points) + { + $name = DB_get_name('userid',$id); /*TODO*/ + $output.= ""; + } + $output.="\n \n \n \n"; + + $i=0; + foreach($score as $game) + { + $i++; + $output.=" "; + $userhash = DB_get_hash_from_gameid_and_userid($game['gameid'],$userid); + /* create link to old games only if you are logged in and its your game*/ + if(isset($_SESSION['id']) && $_SESSION['id']==$userid) + $output.=" "; + else + $output.=" "; + + foreach($game['players'] as $id=>$points) + $output.=""; + $output.="\n \n"; + $output.="\n"; } - $output.="
No ".substr($name,0,2)." P
$i$i".$points."".$game['points']; /* check for solo */ - if(DB_get_gametype_by_gameid($gameid)=="solo") + if($game['solo']) $output.= " S"; - $output.="
\n"; + $output.="
\n
\n"; return $output; } +function createCache($content, $cacheFile) +{ + $fp = fopen($cacheFile,"w"); + if($fp) + { + fwrite($fp,$content); + fclose($fp); + } + else + echo "WARNING: couldn't create cache file"; + + return; +} + +function getCache($cacheFile, $expireTime) +{ + if( file_exists($cacheFile) && + filemtime($cacheFile )>( time() - $expireTime ) ) + { + return file_get_contents($cacheFile); + } + + return false; +} + + ?>