$file.extractfilename

Extract the filename from a file path
Usage
$file.extractfilename(<filepath>)
Description
Returns the filename part of the filepath translated to match the current platform filesystem conventions.
For example, if <filepath> is /usr/arch/mp3/Carisma_SuonoDelSilenzio.mp3 then this function will return Carisma_SuonoDelSilenzio.mp3
Syntax Specification
<string> $file.extractfilename(<filepath:string>)
See also
$file.extractfilename

Index, Functions
KVIrc 4.0.4.5646 Documentation
Generated by ports-i386 at Fri Dec 30 08:24:32 2011