python: Use open(), not file()
authorMathieu Bridon <bochecha@daitauha.fr>
Fri, 1 Jun 2018 13:02:21 +0000 (15:02 +0200)
committerEric Engestrom <eric.engestrom@intel.com>
Wed, 1 Aug 2018 13:26:19 +0000 (14:26 +0100)
commit8678fe537a5eeb9a537fc540672bf375e802c004
tree71a931651cbacad9150d468b76f229589799c875
parentc24d82696867da13360f23abecf130e839da8b0f
python: Use open(), not file()

The latter is a constructor for file objects, but when actually opening
a file, using the former is more idiomatic.

In addition, file() is not a builtin any more in Python 3, so this makes
the script compatible with both Python 2 and Python 3.

Signed-off-by: Mathieu Bridon <bochecha@daitauha.fr>
Reviewed-by: Eric Engestrom <eric.engestrom@intel.com>
Reviewed-by: Dylan Baker <dylan@pnwbakers.com>
src/util/xmlpool/gen_xmlpool.py