push port from the app_server model (hardcoded to 8000 right now)