diff options
| author | Tarvi Pillessaar | 2014-10-06 11:57:30 +0000 |
|---|---|---|
| committer | Tarvi Pillessaar | 2014-10-06 11:57:30 +0000 |
| commit | 1fae97a57e15bd1a0a24313af11cfd75d438a0fb (patch) | |
| tree | 701bfbcbc4cf14c424e23b25a150514872b75923 /python/skytools/scripting.py | |
| parent | 224784fa0f6851176e28cdf5333120c35e3f1665 (diff) | |
walmgr: ignore .history files when removing PG_RECEIVEXLOG file
PG_RECEIVEXLOG got removed too early due to .history files that were not present
Diffstat (limited to 'python/skytools/scripting.py')
0 files changed, 0 insertions, 0 deletions