Fix REST server run handling