use context manager to save and read node session
authorparmentelat <thierry.parmentelat@inria.fr>
Thu, 20 Dec 2018 11:29:16 +0000 (12:29 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Thu, 20 Dec 2018 11:29:16 +0000 (12:29 +0100)
commit3d1aa2ec9d43ee03243c0808a85bdcc578a7ace8
tree7e0da0147b733ee3e5f913aa9de732f7b0004194
parent9b919f251557231ad83f24d6b81cc7441518991f
use context manager to save and read node session
source/BootAPI.py