Ensure PHP-FPM maps to the port we specify in the configs.

[conatus]

In the PHP setup we tell nginx to pass to PHP-FPM running on port 127.0.0.1:9000.

This ensures the file is created and set.

[conatus]

This doesn't appear to be the case on Ubuntu 13.04 and 13.10 from testing with Vagrant. I've always had to jimmy this pool.d file manually to allow this - it defaults as far as I can see to the socket version. Hence this change.

[vpetersson]

Interesting. I have not tested it on 13.04 and 13.10.

Actually, from a performance perspective, using a socket is supposed to be better.

Yet, we could simply make it a configuration option that allows you to either use socket or TCP/IP.

Alternatively, if we want to be really fancy, we can make the default value different depending on if it's 12.04 or 13.04/13.10.