Karsten Pfeiffer-Raddatz d086467012 forall.py: Close file after removing the stream
In order to remove the stream fileno() will be called on the filedescriptor.
If the file is already closed fileno() will raise an error and forall
will fail.

Bug: https://crbug.com/gerrit/12563
Change-Id: Ib7b895fe881c844e3eb3672b011fdcdbdae63024
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/262838
Reviewed-by: David Pursehouse <dpursehouse@collab.net>
Tested-by: Karsten Pfeiffer-Raddatz <raddatz.karsten@gmail.com>
2020-04-14 06:49:31 +00:00
..
2020-02-20 06:14:00 +00:00
2020-02-17 23:49:47 +00:00
2020-03-23 00:31:10 +00:00
2020-02-12 11:44:59 +00:00
2020-03-25 04:55:50 +00:00
2019-06-13 14:30:52 +00:00
2020-02-19 00:24:43 +00:00
2020-02-19 00:24:43 +00:00
2020-04-02 21:17:54 +00:00