fileset - Set de fişiere (fileset)

Specifică un set de fişiere pornind de la un director de bază şi potrivindu-se unui set de tipare.

NameTypeDefaultDescription
idşirUn ID de configuraţie unic.
dirCalea la un director${server.config.dir}Directorul de bază pentru căutarea fişierelor.
caseSensitivebooleantrueBoolean pentru a indica dacă ar trebui să fie sau nu căutarea sensibilă la majuscule (implicit: true).
includesstring*Lista de modele de nume de fişiere separată prin virgulă sau spaţiu de inclus în rezultatele căutării (implicit: *).
excludesstringLista de modele de nume de fişiere separată prin virgulă sau spaţiu de exclus din rezultatele căutării, implicit nu este exclus nici un fişier.
scanIntervalO perioadă de timp cu precizie de milisecunde0Intervalul de scanare pentru a verifica setul de fişiere pentru modificări, împreună cu un sufix de unitate de timp h-oră, m-minut, s-secundă, ms-milisecundă (de exemplu, 2ms sau 5s). Dezactivat (scanInterval=0) implicit. Specificaţi un întreg pozitiv urmat de o unitate de timp, care poate fi ore (o), minute (m), secunde (s) sau milisecunde (ms). De exemplu, specificaţi 500 milisecunde ca 500ms. Puteţi include valori multiple într-o singură intrare. De exemplu, 1s500ms este echivalent cu 1.5 secunde.