X-Git-Url: https://git.nubati.net/cgi-bin/gitweb.cgi?p=e-DoKo.git;a=blobdiff_plain;f=include%2Ffunctions.php;h=82b4bb6bbcde05c2fe2b74779d304b22d35062e5;hp=2e4c08392d051bf10a2e8c615dae162ec045c525;hb=cd4cbd4a1cce2c35a6a78b1b957c17389001b4b1;hpb=981c12ce5d5aaf606584a4ab59054316d2b6c6c2 diff --git a/include/functions.php b/include/functions.php index 2e4c083..82b4bb6 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 +734,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") { @@ -809,90 +847,92 @@ function display_table () function display_user_menu() { 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"; - } - echo "
Start a new game\n"; + $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' OR ISNULL(Game.player) )". + " AND Game.status<>'gameover'". + " ORDER BY Game.session" ); - echo "
Statistics\n"; + $i=0; + while( $r = DB_fetch_array($result)) + { + if($i==0) + { + echo "
\n"; + echo "It's your turn in these games:
\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)) - { - $player[] = array( 'id' => $r[0], 'points' => 0 ); - $output.= " \n"; - } - $output.=" \n \n"; + $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) { - $output.=" \n"; - $re_score = DB_get_score_by_gameid($gameid); - foreach($player as $key=>$pl) + foreach($player as $id=>$points) { - $party = DB_get_party_by_gameid_and_userid($gameid,$pl['id']); + $party = DB_get_party_by_gameid_and_userid($gameid,$id); if($party == "re") if(DB_get_gametype_by_gameid($gameid)=="solo") - $player[$key]['points'] += 3*$re_score; + $player[$id] += 3*$re_score; else - $player[$key]['points'] += $re_score; + $player[$id] += $re_score; else if ($party == "contra") - $player[$key]['points'] -= $re_score; - - $output.=" \n"; + $player[$id] -= $re_score; } - $output.=" \n \n"; + $i++; } - $output.="
".substr($r[1],0,2)." P
".$player[$key]['points']."".abs($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"); - /* check for solo */ - if(DB_get_gametype_by_gameid($gameid)=="solo") - $output.= " S"; - $output.="
\n"; - - return $output; + return $score; } function generate_global_score_table() { + $return = array(); + /* get all ids */ $gameids = DB_get_gameids_of_finished_games_by_session(0); @@ -901,9 +941,9 @@ function generate_global_score_table() /* get player id, names... from the User table */ $player = array(); - $result = mysql_query("SELECT User.id, User.fullname FROM User"); + $result = DB_query("SELECT User.id, User.fullname FROM User"); - while( $r = mysql_fetch_array($result,MYSQL_NUM)) + while( $r = DB_fetch_array($result)) $player[] = array( 'id' => $r[0], 'name'=> $r[1], 'points' => 0 ,'nr' => 0); /* get points and generate table */ @@ -925,8 +965,7 @@ function generate_global_score_table() $player[$key]['nr']+=1; } } - - echo "\n \n"; + function cmp($a,$b) { if($a['nr']==0 ) return 1; @@ -935,21 +974,127 @@ function generate_global_score_table() $a=$a['points']/$a['nr']; $b=$b['points']/$b['nr']; - if ($a == $b) + 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) - echo " \n"; + $return[] = array( $pl['name'], round($pl['points']/$pl['nr'],3) ); + } + + return $return; +} + +function format_score_table_ascii($score) +{ + $output=""; + if(sizeof($score)==0) + return ""; + + // if(sizeof($score)>5) $header.= " ... \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"; + + $max = sizeof($score); + $i=0; + + if($i<$max-6) $output.=" ...\n"; + + 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"; } - echo "
",$pl['name'],"",round($pl['points']/$pl['nr'],3),"
\n"; - + return $output; +} + +function format_score_table_html($score,$userid) +{ + global $INDEX; + + if(sizeof($score)==0) + return ""; + + $output = "
\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); + $output.=" "; + foreach($game['players'] as $id=>$points) + $output.=""; + $output.="\n"; + } + + $output.="\n
No ".substr($name,0,2)." P
$i".$points."".$game['points']; + + /* check for solo */ + if($game['solo']) + $output.= " S"; + $output.="
\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; +} ?>