Determining the file name in Developer Help

ID:154891
 
Nov 18 2011, 11:34 am
 
client/verb/open_file(f as file) {
    var file_name = ? // this line here
    }


I'm completely blanking - how would I determine the file name?
#1 Nov 18 2011, 11:46 am
 
client/verb/open_file(f as file)
    usr << "[f]"


This seems to report the name of a file.
#2 Nov 18 2011, 11:55 am
In response to LordAndrew (#1)
LordAndrew wrote:
> client/verb/open_file(f as file)
>   usr << "[f]"
>


This seems to report the name of a file.

Funny. I had been trying file_name = f but never file_name = "[f]".

Thanks.