set server port to 8000