gpstools/config.dist.php

<?php

$servername = "localhost";
$username = "username";
$password = "password";
$dbname = "database";

$endpoint = True;
$access = False;
$location = False;