Commit 7b89d8e5 authored by Andreas Tille's avatar Andreas Tille

Fix public UDD access

parent 6fb4dab8
......@@ -36,9 +36,8 @@ fi
# Check UDD connection
if ! psql $PORT $SERVICE -c "" 2>/dev/null ; then
echo "No local UDD found, use public mirror."
PORT="--port=5432"
export PGPASSWORD="public-udd-mirror"
SERVICE="--host=public-udd-mirror.xvm.mit.edu --username=public-udd-mirror udd"
SERVICE="--host=public-udd-mirror.xvm.mit.edu --port=5432 --username=public-udd-mirror udd"
fi
while getopts "hjm" o; do
......@@ -48,9 +47,8 @@ while getopts "hjm" o; do
exit 0
;;
m)
PORT="--port=5432"
export PGPASSWORD="public-udd-mirror"
SERVICE="--host=public-udd-mirror.xvm.mit.edu --username=public-udd-mirror udd"
SERVICE="--host=public-udd-mirror.xvm.mit.edu --port=5432 --username=public-udd-mirror udd"
;;
*)
usage
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment