diff options
| author | Bruce Momjian <bruce@momjian.us> | 2017-05-09 09:28:44 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2017-05-09 09:28:44 -0400 |
| commit | c4c493fd3581dfbce45e903b87e12eea508f47e4 (patch) | |
| tree | 0cbd8ac9e78046cfef990b0d8ea053bfc6f77a24 | |
| parent | da0759600664439238fe25fa84b1f0059bfdcdd6 (diff) | |
| download | postgresql-c4c493fd3581dfbce45e903b87e12eea508f47e4.tar.gz postgresql-c4c493fd3581dfbce45e903b87e12eea508f47e4.zip | |
pgindent: use HTTP instead of FTP to retrieve pg_bsd_indent src
FTP support will be removed from ftp.postgresql.org in months, but http
still works. Typedefs already used http.
| -rwxr-xr-x | src/tools/pgindent/pgindent | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 0f3a1ba69a7..a4c101bef7e 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -462,7 +462,7 @@ sub run_build $ENV{PGTYPEDEFS} = abs_path('tmp_typedefs.list'); my $pg_bsd_indent_url = - "ftp://ftp.postgresql.org/pub/dev/pg_bsd_indent-" + "http://ftp.postgresql.org/pub/dev/pg_bsd_indent-" . $INDENT_VERSION . ".tar.gz"; |