display working time at the end of each loop
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 May 2012 13:07:46 +0000 (15:07 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 May 2012 13:07:46 +0000 (15:07 +0200)
commit742de8445b04b2858cb7bd6a4c9e91edfde3b6af
treee928acfa678c3f1014c7f6e1e9906c3563f86469
parentdf4bdbfa758d75fe0b0a82f2324ccd17b77d2551
display working time at the end of each loop
nodemanager.py