Files
mongo-php-driver/scripts/list-servers.php
Hannes Magnusson 4f693030b9 PHPC-180: Replace this Orchestration wrapper with significantly simpler code
We no create a /tmp/PHONGO-SERVERS.json file upon launching the servers
which stores the server IDs and connection string (including auth).
This makes it much faster to look up the available servers
2015-03-16 20:28:39 -07:00

11 lines
224 B
PHP

<?php
$FILENAME = sys_get_temp_dir() . "/PHONGO-SERVERS.json";
$json = file_get_contents($FILENAME);
$servers = json_decode($json);
foreach($servers as $serverid => $uri) {
printf("%-20s \t %s\n", $serverid, $uri);
}