no need to wait that long for ping_node, it works very fast, or does not
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 2 Mar 2015 20:18:59 +0000 (21:18 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 2 Mar 2015 20:18:59 +0000 (21:18 +0100)
commit40578dd125e46d8150fc3576ea35227acc2e6b79
treedc2527155235d4f4ca1be338c2b37e91959506d5
parent44c29982cd5bc2f33a9c9ef89073a6331ff40c55
no need to wait that long for ping_node, it works very fast, or does not
system/TestPlc.py