commit 972624190a89fbf940124cf449310b5d1bc96d21
parent fac8494c77a779ccd59efe10ccdc5d5b9abf8a68
Author: Luke Willis <lukejw@loquat.dev>
Date:   Thu, 14 May 2026 23:42:58 -0400

minecraft: Extend grace period to 15 seconds

Diffstat:

Msystem/andrew/minecraft.scm | 3++-


1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/system/andrew/minecraft.scm b/system/andrew/minecraft.scm
@@ -236,7 +236,8 @@
                                       (break))
                                     (display line)
                                     (newline))))))))))
-      (stop #~(make-kill-destructor SIGINT))))))
+      (stop #~(make-kill-destructor SIGINT
+                                    #:grace-period 15))))))
 
 (define minecraft-service-type
   (service-type