From 06fc0a5b00c1e1f219a05f112fd9ae4432a17dc5 Mon Sep 17 00:00:00 2001
From: troido <troido@hotmail.com>
Date: Fri, 12 Jan 2018 16:18:23 +0100
Subject: [PATCH] now killserver saves before quitting

---
 asciifarm/server/main.py | 5 ++++-
 killserver               | 2 +-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/asciifarm/server/main.py b/asciifarm/server/main.py
index 494b13b..27b4975 100644
--- a/asciifarm/server/main.py
+++ b/asciifarm/server/main.py
@@ -1,11 +1,14 @@
 
 import argparse
 import os.path
-
+import signal
 from . import game
 from . import loader
 
 
+signal.signal(signal.SIGINT, signal.default_int_handler)
+
+
 defaultAdresses = {
     "abstract": "asciifarm",
     "unix": "asciifarm.socket",
diff --git a/killserver b/killserver
index d79a20c..85a0173 100755
--- a/killserver
+++ b/killserver
@@ -1,2 +1,2 @@
 #!/bin/sh
-pkill -f asciifarm.server -u troido
+pkill -SIGINT -f asciifarm.server -u troido