reloading devserver for flask that uses socket reuse