fix writing of str on os.open'ed file (needed bytes)
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 30 Dec 2018 13:18:17 +0000 (14:18 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 30 Dec 2018 13:18:17 +0000 (14:18 +0100)
commit6dff11015d344650af70fb1b2ce4ac2bf3d25b39
tree727a45f01ece4a760f9504e817c62619fb61a9a5
parente4069fdeaf5f672c866f3c9e5eb489284790c36c
fix writing of str on os.open'ed file (needed bytes)
logger.py