]> rtime.felk.cvut.cz Git - jailhouse.git/commit
projects / jailhouse.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 090d83b) | patch
tools: Close files after use in config generator
authorJan Kiszka <jan.kiszka@siemens.com>
Wed, 28 Jan 2015 09:58:58 +0000 (10:58 +0100)
committerJan Kiszka <jan.kiszka@siemens.com>
Sun, 1 Feb 2015 11:47:10 +0000 (12:47 +0100)
commit7660a340f68a8597fed4bd2bbe613f60c417726a
tree0af22bc497e3f807edb4fdc3184c36d8ffafe116tree | snapshot
parent090d83b0173b0525db4873570473ee0920671247commit | diff
tools: Close files after use in config generator

Just to be clean and to avoid piling up unused resources. In some cases
we already did so, in one we were using the with statement. Now the
remaining perform the close as well.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
tools/jailhouse-config-create diff | blob | history