cmu-db/noisepage-pilot

Send correct signal to shutdown TScout

17zhangw opened this issue · 0 comments

17zhangw commented

We currently send SIGTERM to shutdown TScout in dodos/tscout.py.
We should send SIGINT instead.