$ssh->print_log_file($header);