<?
 session_start();
 if(!session_is_registered(myusername)){
 header("location:main_login.php");
 }
 ?>
 <?
echo "<BR>Account: ".$_SESSION["user"];
//acc name
include "config.php";
   mysql_connect(SQL_HOST, SQL_USERNAME, SQL_PASSWORD);
   mysql_select_db(SQL_DBNAME);


$result = mysql_query("SELECT * from characters WHERE account_name='".$_SESSION["user"]."'")
or die(mysql_error());


// keeps getting the next row until there are no more to get
echo '<select name="platforma" size="1">';
while($row = mysql_fetch_array( $result )) {
    // Print out the contents of each row into a table

    echo '<select value="'.$row['charId'].'">'.$row['char_name'].'</option>';
}
echo '</select>'
?>


/*<select name="ovoce">
<option value="jb">jablko</option>
<option value="hs" selected="selected">hruška</option>
</select>
*/