Re: [PATCH master 07/15] Config: add private OS parameters to the configuration

[Santi Raffa]

Also:

diff --git a/lib/config.py b/lib/config.py
index 2542e5b..4e146c4 100644
--- a/lib/config.py
+++ b/lib/config.py
@@ -2506,8 +2506,6 @@ class ConfigWriter(object):
     finally:
       os.close(fd)

-    del txt # No need to keep it around.
-
     self.write_count += 1

     # and redistribute the config file to master candidates


-- 
Raffa Santi
Google Germany GmbH
Dienerstr. 12
80331 München


Registergericht und -nummer: Hamburg, HRB 86891
Sitz der Gesellschaft: Hamburg
Geschäftsführer: Graham Law, Christine Elizabeth Flores