demo: New ping monitoring script and option to stop demo after some time (!8) · Merge requests · nexedi / re6stnet · GitLab

Ghost User requested to merge killian_ping_demo into master Mar 04, 2019

See "./demo --help" for more information. /cc @tomo @jm