Function get_export_fileName

web/static/js/explore.js:28–32

(file_type)

// Get the file name of the export file
function get_export_fileName(file_type) {
    const date = new Date();
    const time = date.getTime();
    return 'Honeypot-data-' + time + "." + file_type;
}


// Delete datatable