Re: repmgr.service

Hi,

$MAINPID is a systemd special environment variable

http://www.freedesktop.org/software/systemd/man/systemd.service.html

====
One additional, special environment variable is set: if known,
$MAINPID is set to the main process of the daemon, and may be used for
command lines like the following:

/bin/kill -HUP $MAINPID
===

We tell systemd how to get the PID with PIDFile=

Regards,

2016-01-05 12:18 GMT-03:00 Devrim GÜNDÜZ <devrim(at)gunduz(dot)org>:
>
> Hi,
>
> On Wed, 2015-12-30 at 17:40 -0300, Martín Marqués wrote:
>> Promised patch. Let me know if there's something to fix.
>
> I think this patch needs an update -- what is MAINPID variable? I don't
> think it is defined elsewhere. Am I wrong?
>
> Still, this patch already seems to be applied to 9.5. Can you please
> confirm? If 9.5 branch looks good, I'll push it to other releases as
> well.
>
> Regards,
> --
> Devrim GÜNDÜZ
> Principal Systems Engineer @ EnterpriseDB: http://www.enterprisedb.com
> PostgreSQL Danışmanı/Consultant, Red Hat Certified Engineer
> Twitter: @DevrimGunduz , @DevrimGunduzTR
>
>

--
Martín Marqués http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services