title: Is the file closed?
body: <p>I see regularly this kind of code:</p>
  
  <pre><code>filecontent = open(thefilename).read()
  </code></pre>
  
  <p>I wonder what becomes the file object created by <code>open</code> in this situation:  is it implicitly closed, or does it stay open somewhere ?</p>