readlines() question

[L Stewart]

Just out of curiosity, when something like the following is used,

contents = open('file').readlines()

is 'file' closed after readlines() finishes? If not, is it possible to
somehow get either the file descriptor or the file object of the opened
file? Thanks,

Liam

-- 
Liam Stewart
E-Mail: liam at ualberta.ca

"It is not enough to be busy, so are the ants. The question is: what are
we busy about?"
-Henry David Thoreau