1 files changed, 2 insertions, 3 deletions
diff --git a/repo b/repo
index 2f634d9e..90cdb60d 100755
--- a/repo
+++ b/repo
@@ -513,9 +513,8 @@ def SetupGnuPG(quiet):
    sys.exit(1)
  print()
-  fd = open(os.path.join(home_dot_repo, 'keyring-version'), 'w')
+  with open(os.path.join(home_dot_repo, 'keyring-version'), 'w') as fd:
-  fd.write('.'.join(map(str, KEYRING_VERSION)) + '\n')
+    fd.write('.'.join(map(str, KEYRING_VERSION)) + '\n')
-  fd.close()
  return True

diff --git a/repo b/repo index 2f634d9e..90cdb60d 100755 --- a/repo +++ b/repo
@@ -513,9 +513,8 @@ def SetupGnuPG(quiet):
513	sys.exit(1)	513	sys.exit(1)
514	print()	514	print()
515		515
516	fd = open(os.path.join(home_dot_repo, 'keyring-version'), 'w')	516	with open(os.path.join(home_dot_repo, 'keyring-version'), 'w') as fd:
517	fd.write('.'.join(map(str, KEYRING_VERSION)) + '\n')	517	fd.write('.'.join(map(str, KEYRING_VERSION)) + '\n')
518	fd.close()
519	return True	518	return True
520		519
521		520