\n";
}
else
{
    include("./lib.inc.php3");
    $ext = "sql";
    if($what == "csv")
        $ext = "csv";
    header("Content-disposition: filename=$table.$ext");
	header("Content-type: application/octetstream");
	header("Pragma: no-cache");
	header("Expires: 0");
	
    // doing some DOS-CRLF magic...
    
    if (!isset($HTTP_USER_AGENT))
    {
    	if (!empty($HTTP_SERVER_VARS) && isset($HTTP_SERVER_VARS['HTTP_USER_AGENT']))
    	    $HTTP_USER_AGENT = $HTTP_SERVER_VARS['HTTP_USER_AGENT'];
    	else 
    	    $HTTP_USER_AGENT = getenv('HTTP_USER_AGENT');
    }
    $client = $HTTP_USER_AGENT;
    //$client = getenv("HTTP_USER_AGENT");
     

	if(ereg('[^(]*\((.*)\)[^)]*',$client,$regs)) 
    {
	    $os = $regs[1];
        // this looks better under WinX
        if (eregi("Win",$os)) 
            $crlf="\r\n";
	}
 }

function my_handler($sql_insert)
{
    global $crlf, $asfile;
    if(empty($asfile))
        echo htmlspecialchars("$sql_insert;$crlf");
    else
        echo "$sql_insert;$crlf";
 }

function my_csvhandler($sql_insert)
{
    // 2001-05-07, Lem9: added $add_character

    global $crlf, $add_character, $asfile;
    if(empty($asfile))
        echo htmlspecialchars($sql_insert . $add_character . $crlf);
    else
        echo $sql_insert . $add_character . $crlf;
}

if($what != "csv") 
{
    print "# phpMyAdmin MySQL-Dump$crlf";
    print "# http://phpwizard.net/phpMyAdmin/$crlf";
    print "#$crlf";
    print "# $strHost: " . $cfgServer['host'];
    if(!empty($cfgServer['port'])) 
        print ":" . $cfgServer['port'];
    print " $strDatabase: $db$crlf";
    print "# --------------------------------------------------------$crlf";
    print "$crlf#$crlf";
    print "# $strTableStructure '$table'$crlf";
    print "#$crlf$crlf";

    print get_table_def($db, $table, $crlf).";$crlf";

	if($what == "data")
    {
	    print "$crlf#$crlf";
        print "# $strDumpingData '$table'$crlf"; 
        print "#$crlf$crlf";

        get_table_content($db, $table, "my_handler");
    }
} 
else 
{ // $what != "csv"
  	get_table_csv($db, $table, $separator, "my_csvhandler");
}

if(empty($asfile))
{
    print "