Pay attention to server_timeout_sec
authorTim Newsome <tim@sifive.com>
Thu, 12 Oct 2017 18:53:22 +0000 (11:53 -0700)
committerTim Newsome <tim@sifive.com>
Thu, 12 Oct 2017 18:53:22 +0000 (11:53 -0700)
commit7d1ff043bbd917e33065a2de8a4f59df4f79c0f9
tree86c207129bab912fbdf5ad966d7be9d3ca394d25
parent9091137e4a4797a91179ab73886697c7fe270da2
Pay attention to server_timeout_sec

Fixes #83.
debug/targets.py