diff options
| author | Andrew Dunstan <andrew@dunslane.net> | 2012-09-03 18:14:06 -0400 |
|---|---|---|
| committer | Andrew Dunstan <andrew@dunslane.net> | 2012-09-03 18:14:06 -0400 |
| commit | 4397c51816cbb918fc3aebc474dd53bc231502b9 (patch) | |
| tree | 2fb5f66d8a58394b9651c02af562a429b35a1ee7 /src/tutorial | |
| parent | 1da2a610d7e791e93fcf835855badaeb11196bdd (diff) | |
Use correct path separator for Windows builtin commands.
pg_upgrade produces a platform-specific script to remove the old
directory, but on Windows it has not been making sure that the
paths it writes as arguments for rmdir and del use the backslash
path separator, which will cause these scripts to fail.
The fix is backpatched to Release 9.0.
Diffstat (limited to 'src/tutorial')
0 files changed, 0 insertions, 0 deletions