Update MachineIpsProvider.php

Get ip list from shell command result instead of SERVER_ADDR.