UID=1000
# $arr["host"] = "10.10.10.23";
# $arr["name"] = "wrenchboard";
# $arr["user"] = "wrenchboard";
# $arr["pass"] = "wrenchboard";
# $arr["port"] = 5432;