DownloadManager

Gestisce i download di file HTTP ripristinabili e l'estrazione degli archivi.

Supporta:

  • Riprendi basato su intervallo HTTP per file parzialmente scaricati.

  • File marcatori (.complete) per saltare i download già completati.

  • Estrazione archivi ZIP con protezione Zip-Slip.

  • Estrazione tar.gz tramite comando tar esterno con controllo di sicurezza di attraversamento delle directory.

  • Ricerca eseguibile ricorsiva all'interno delle directory di archivio estratte.

Parameters

log

Log function for progress and diagnostic output.

Constructors

Link copied to clipboard
constructor(log: (CodBi.LogLevel, String) -> Unit)

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
fun downloadWithResume(url: String, targetFile: File, label: String): Boolean

Scarica un file da url a targetFile con il supporto del Riprendi intervallo HTTP.

Link copied to clipboard
fun extractTarGz(tarGzFile: File, targetDir: File)

Estrae un archivio .tar.gz in una directory di destinazione tramite il comando tar esterno.

Link copied to clipboard
fun extractZip(zipFile: File, targetDir: File)

Estrae un archivio ZIP in una directory di destinazione con protezione Zip-Slip.

Link copied to clipboard
fun findExecutable(dir: File, exeName: String): File?

Trova ricorsivamente un file eseguibile all'interno di una directory, corrispondente a exeName.