set_and_exit(); } require('query_to_csv.php'); query_to_csv($_GET['sql'], !isset($_GET['noheader']));