yeah, running this locally we need to know to manually kill the redis process. on travis, we get a redis URL and we're good to go. but locally we for sure want a separate redis server than the one we use for local development. so, yes, we need a way to stop the sever. @aricha's way looks like a decent way.