]> granicus.if.org Git - pgbadger/commitdiff
projects / pgbadger / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b644f6e 7358f41)
Merge pull request #370 from bersace/pid
authorÉtienne BERSAC <bersace03@gmail.com>
Fri, 22 Sep 2017 08:25:05 +0000 (10:25 +0200)
committerÉtienne BERSAC <etienne.bersac@dalibo.com>
Fri, 22 Sep 2017 08:26:44 +0000 (10:26 +0200)
Add --pid-file CLI switch


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