wp-cli/wp-cli — pull request #556 by scribu (2013-06-25 18:52:02+00:00)
Title: --url doesn't set $_SERVER['SERVER_PORT']

I noticed this because I was trying to create a local dev install:

```
wp core install --url=localhost:8001 ...
```

but when I did `wp option get home`, I got back only `http://localhost`.