From f3246b99c45daeba9ff9b3e66c9e7b1d368db48d Mon Sep 17 00:00:00 2001
From: Dominique Roux <dominique.roux@ungleich.ch>
Date: Mon, 11 Dec 2017 21:52:00 +0100
Subject: [PATCH] added debian 9

---
 gencode-remote | 3 +++
 manifest       | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/gencode-remote b/gencode-remote
index 9b38e42..2e5082a 100755
--- a/gencode-remote
+++ b/gencode-remote
@@ -17,6 +17,9 @@ case "$os" in
             8*)
                 restart="systemctl restart nginx"
             ;;
+            9*)
+                restart="systemctl restart nginx"
+            ;;
             *)  
                 restart="systemctl restart nginx"
                 echo "Unsupported version $os_version of $os." >&2
diff --git a/manifest b/manifest
index 8a2b45b..671b763 100755
--- a/manifest
+++ b/manifest
@@ -29,6 +29,9 @@ case "$os_version" in
     8*)
         :
     ;;
+    9*)
+        :
+    ;;
     jessie*)
         :
     ;;