summaryrefslogtreecommitdiff
path: root/tools/util.py
diff options
context:
space:
mode:
authorAndy Hayden <andyhayden1@gmail.com>2018-10-19 19:15:29 -0700
committerRyan Dahl <ry@tinyclouds.org>2018-10-20 00:27:37 -0400
commit2d583f85ee6ef740c1f13e44364d2a55ec6c0c31 (patch)
treebc92ecba0234425b1a57a5ad191db4a84ef25690 /tools/util.py
parent3a6b2f3c7163d228a318a8eb855b194edb0eb18d (diff)
Exit http_server.py if it's crashed
Diffstat (limited to 'tools/util.py')
0 files changed, 0 insertions, 0 deletions