Version 1.6.2 of Mandos is released

[Nathanael D. Noblet]

On 10/25/2013 12:43 PM, Nathanael D. Noblet wrote:
> On 10/24/2013 03:17 PM, Teddy Hogeborn wrote:
>> ** PID file moved from /var/run to /run.
>
> Could this be configurable? On long term releases like CentOS there is
> no /run, but there is /var/run having it configurable would help me out
> when packaging...
>
>

The following seems to work - no configuration necessary

--- mandos.org	2013-10-25 13:04:18.051398624 -0600
+++ mandos	2013-10-25 13:24:27.255129673 -0600
@@ -2456,7 +2456,11 @@
                                socketfd=(server_settings["socket"]
                                          or None))
      if not foreground:
-        pidfilename = "/run/mandos.pid"
+        if os.path.exists("/run"):
+            pidfilename = "/run/mandos.pid"
+        else:
+            pidfilename = "/var/run/mandos.pid"
+
          pidfile = None
          try:
              pidfile = open(pidfilename, "w")


-- 
Nathanael d. Noblet
t 403.875.4613