instead of this, I woudl add a kill_server function to dev, and use it.