python restart