]> granicus.if.org Git - pgbadger/commitdiff
projects / pgbadger / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9c6489b 6896c24)
Merge pull request #415 from julmon/fix_358
authorGilles Darold <gilles@darold.net>
Tue, 12 Jun 2018 12:00:26 +0000 (14:00 +0200)
committerGitHub <noreply@github.com>
Tue, 12 Jun 2018 12:00:26 +0000 (14:00 +0200)
Delete current temp file info if we meet an error for the same PID


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.