"; } function print_percent ($percent) { while (strlen($percent)<2) $percent="0".$percent; $return=($percent) ? substr($percent,0,strlen($percent)-1).",".substr($percent,strlen($percent)-1,1)."%" : "0€"; return ($return); } function print_bill ($bill) { while (strlen($bill)<3) $bill="0".$bill; $return=($bill) ? substr($bill,0,strlen($bill)-2).",".substr($bill,strlen($bill)-2,2)."€" : "0€"; return ($return); } function money_to_bill($money) { $money=str_replace("€","",$money); $money=str_replace(",",".",$money); return ($money*100); } function user_id_to_alias($id) { global $db; $query=mysqli_query($db, "SELECT * FROM `player` WHERE `id` = $id LIMIT 0 , 30"); $data=mysqli_fetch_array($query); if ($data === FALSE) return NULL; else if ($data === NULL) return NULL; else return $data['alias']; } function count_games () { global $db; $query=mysqli_query($db, "SELECT `id` FROM `games` WHERE `scoregame` = 'TRUE'"); return (mysqli_num_rows($query)); } function user_count_last_missed_games($id) { global $db; $games = 0; $query = mysqli_query($db, "SELECT `id` FROM `games` WHERE `scoregame` = 'TRUE' ORDER BY `datetime` DESC"); while ($data=mysqli_fetch_array($query)) { $player_array = array(); $player_array = player_of_game($data['id']); $deposition=0; foreach ($player_array as $player) if ($player==$id) $deposition++; if (!$deposition) $games++; else break; } return ($games); } function user_count_games($id) { //counts the games wich are played by the user $id global $db; $games = 0; $query = mysqli_query($db, "SELECT `id` FROM `games`"); while ($data=mysqli_fetch_array($query)) { $player_array = array(); $player_array = player_of_game($data['id']); $deposition = 0; foreach ($player_array as $player) if ($player==$id) $deposition++; if ($deposition) $games++; } return ($games); } function user_count_point_games($id) { //counts the games wich are played by the user $id global $db; $games = 0; $query = mysqli_query($db, "SELECT `id` FROM `games` WHERE `scoregame` = 'TRUE'"); while ($data=mysqli_fetch_array($query)) { $player_array = array(); $player_array = player_of_game($data['id']); $deposition = 0; foreach ($player_array as $player) if ($player==$id) $deposition++; if ($deposition) $games++; } return ($games); } function user_count_place($id,$place) { //counts how often a user ($id) has made the place ($place) global $db; $games = 0; $query = mysqli_query($db, "SELECT `".$place."_id` FROM `games` WHERE `scoregame` = 'TRUE'"); while ($data=mysqli_fetch_row($query)) { if ($data[0]==$id) $games++; } return ($games); } function user_min_bill() { global $db; $minbill=0; $query=mysqli_query($db, "SELECT `id` FROM `player`"); while ($data=mysqli_fetch_row($query)){ $helpvar=user_count_bill($data[0]); if ($helpvar<$minbill) $minbill=$helpvar; } return ($minbill); } function user_max_bill() { global $db; $maxbill=0; $query=mysqli_query($db, "SELECT `id` FROM `player`"); while ($data=mysqli_fetch_row($query)){ $helpvar=user_count_bill($data[0]); if ($helpvar>$maxbill) $maxbill=$helpvar; } return ($maxbill); } function user_count_bill($id) { global $db; $bill=0; $query=mysqli_query($db, "SELECT * FROM `games` WHERE `scoregame` = 'TRUE'"); while ($data=mysqli_fetch_array($query)) { $playerlist=player_of_game($data['id']); foreach ($playerlist as $player) { if ($player==$id) $bill-=$data['base_bill']; } if ($data['first_id']==$id) $bill+=$data['first_bill']; if ($data['second_id']==$id) $bill+=$data['second_bill']; if ($data['third_id']==$id) $bill+=$data['third_bill']; } return ($bill); } function player_of_game($game_id) { global $db; $player_array=array(); $query =mysqli_query($db, "SELECT `player` FROM `games` WHERE `id` = $game_id"); $data =mysqli_fetch_array($query); $player=$data['player']; while (strlen($player)>0) { while (substr($player,0,1)==",") $player=substr($player,1,strlen($player)-1); //delete leading commata $position=0; $deposition=""; for ($position=0;substr($player,$position,1)!="," && $position0) ? substr($player,$position,strlen($player)-$position):""; } return ($player_array); } function gibmirzeit_von_datetime($format,$datetime) { $yyyy= substr($datetime,0,4); $yy = substr($datetime,2,2); $mm = substr($datetime,5,2); $dd = substr($datetime,8,2); $HH = substr($datetime,11,2); $MM = substr($datetime,14,2); $SS = substr($datetime,17,2); $format=str_replace("yyyy",$yyyy,$format); $format=str_replace("jjjj",$yyyy,$format); $format=str_replace("yy" ,$yy ,$format); $format=str_replace("jj" ,$yy ,$format); $format=str_replace("mm" ,$mm ,$format); $format=str_replace("dd" ,$dd ,$format); $format=str_replace("tt" ,$dd ,$format); $format=str_replace("HH" ,$HH ,$format); $format=str_replace("MM" ,$MM ,$format); $format=str_replace("SS" ,$SS ,$format); return ($format); } ?>