[IronPython] Getting the full path to a file from a file object

[Jeff Hardy]

Hi all,
WSGI has an api for sending a file directly. The api requires passing
a file object, but the .NET api for sending files
(HttpResponse.TransmitFile) takes the full path to the file to send.
On *nix the fileno property is passed to sendfile() to get that
effect.

Is there any way to get the full path to the file that a file object
represents? Unfortunately, there's no way to pass any extra
information and still match the APIs.

-Jeff