update: server port number

9000 is default for php-fpm