From 7d8fc1cfa16cb34c55cec824cafa53f5b1b9e6fd Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 20 Jun 2017 17:34:11 +0200
Subject: Small change to fix git issue.

---
 src/server/server_signal.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/server/server_signal.c b/src/server/server_signal.c
index 06a15bf..6e0fa79 100644
--- a/src/server/server_signal.c
+++ b/src/server/server_signal.c
@@ -9,7 +9,7 @@
 
 static volatile char JH_SERVER_IS_RUNNING = (char) 1;
 
-static void request_termination (int const signo)
+static void request_termination (const int signo)
 {
    if ((signo == SIGINT) || (signo == SIGTERM))
    {
-- 
cgit v1.2.3-70-g09d2