@FILEHANDLE[handle] : renvoie le nom de fichier pour le handle de fichier spécifié (ouvert avec @FILEOPEN).

 

Exemple :

 

set h=%@fileopen["d:\path\myfile.txt",r]

echo handle %h is : %@filehandle[%h]

handle 756 is : d:\path\myfile.txt