[gnome-terminal] build: Stop terminal service together with graphical session

[Christian Persch <chpe src gnome org>]

commit def446bf0e558b4648fb9e40ece33d7fd282249f
Author: Benjamin Berg <bberg redhat com>
Date:   Tue Feb 4 18:28:09 2020 +0100

    build: Stop terminal service together with graphical session
    
    There is no point in gnome-terminal-server to survive the graphical
    session. It will generally die anyway because the connection to the
    display server is lost, but it does not hurt to make this explicit.
    
    Also add a stop timeout to ensure the server gets killed if it refuses
    to shut down.
    
    https://gitlab.gnome.org/GNOME/gnome-terminal/issues/206

 src/Makefile.am | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/src/Makefile.am b/src/Makefile.am
index ed116964..9caea2d7 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -155,11 +155,13 @@ org.gnome.Terminal.service: Makefile
 gnome-terminal-server.service: Makefile
        $(AM_V_GEN) ( echo "[Unit]"; \
                      echo "Description=GNOME Terminal Server"; \
+                     echo "PartOf=graphical-session.target"; \
                      echo "[Service]"; \
                      echo "Slice=apps-org.gnome.Terminal.slice"; \
                      echo "Type=dbus"; \
                      echo "BusName=org.gnome.Terminal"; \
-                     echo "ExecStart=${libexecdir}/gnome-terminal-server") > $@
+                     echo "ExecStart=${libexecdir}/gnome-terminal-server"; \
+                     echo "TimeoutStopSec=5s") > $@
 
 terminal-gdbus-generated.c terminal-gdbus-generated.h: org.gnome.Terminal.xml Makefile
        $(AM_V_GEN) $(GDBUS_CODEGEN) \