Get the filename from a file pointer

[aSkAiNeT]

Hi,

Is there any way to obtain the name of the file that is referenced by a file pointer?

Without having to "remember" its name, I mean... only knowing the file pointer.

Thanks!

[herve]

Hi,

could you give us a bit more details of what you
want to do exactly ?

Hervé.

[aSkAiNeT]

Hi,

I would want to write a close_file function, it gets a file pointer as an argument, closes the file and prints something like "File $filename closed" to a log.

But I need to know the name of the file that the file pointer is referencing.

Thanks!

[herve]

Ok,

but if you have the file handler in a variable
you can have the filename in an other ?

If you want to do a specially crafted fclose() function you need some global associative array
with file handler and name corresponding.

May be I'm wrong, but I don't see a PHP function
able to give you the name of an open file, given
the file handler.

Hervé.

[Jayson]

I would do it as an array. Have one element for the pointer and another element for the name of the file...

$file['name'] = 'somefile';
$file['pointer'] = fopen($file['name'], 'r');

and then when you pass $file to the close_file function you made, you'll have both the name and the pointer.

fclose($file['name']);
echo $file['name']." closed\n";