Commit 2ad5c60f authored by Andreas Tille's avatar Andreas Tille
Browse files

Setting port explicitly which seems to be required

parent 86e27d90
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@ echo "Last-Update: `date -R`" > $OUTFILE
echo >> $OUTFILE

export PGPASSWORD="public-udd-mirror"
psql --host=public-udd-mirror.xvm.mit.edu --username=public-udd-mirror udd >> $OUTFILE <<EOT
psql --port=5432 --host=public-udd-mirror.xvm.mit.edu --username=public-udd-mirror udd >> $OUTFILE <<EOT
SELECT source  AS "source                       ", version, upstream_version, 
       array_to_string(uploaders,',') AS "uploaders                      ",
        changed_by_name AS "Last uploader       ", date AS "Last uploaded" FROM (