try handling server stop more gracefully