closing merged branch
cleanup-on-signal
2017-10-15, Gary Kramlich