From 8a6047a525e206f07859666c21d4cc6a168c1481 Mon Sep 17 00:00:00 2001
From: Profpatsch <mail@profpatsch.de>
Date: Thu, 21 Jul 2016 01:18:06 +0200
Subject: [PATCH] nixos/pulseaudio: increase service restart time
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Pulseaudio doesn’t like being restarted too quickly.
---
 nixos/modules/config/pulseaudio.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/nixos/modules/config/pulseaudio.nix b/nixos/modules/config/pulseaudio.nix
index 2939e67566c8..71ac3f9a72c4 100644
--- a/nixos/modules/config/pulseaudio.nix
+++ b/nixos/modules/config/pulseaudio.nix
@@ -237,6 +237,7 @@ in {
             Type = "notify";
             ExecStart = binaryNoDaemon;
             Restart = "on-failure";
+            RestartSec = "500ms";
           };
           environment = { DISPLAY = ":${toString config.services.xserver.display}"; };
           restartIfChanged = true;
@@ -276,6 +277,7 @@ in {
           Type = "notify";
           ExecStart = "${binaryNoDaemon} --log-level=${cfg.daemon.logLevel} --system -n --file=${myConfigFile}";
           Restart = "on-failure";
+          RestartSec = "500ms";
         };
       };
     })