summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-02-09 20:03:33 +0100
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-02-09 20:03:33 +0100
commit7af295b2ec22f06b24079bf895ac97079f64b6d7 (patch)
tree84a554fc2c169956e3ee975152332c39f6c3615a /src/server/server.c
parent9ca43c73ba29d6b42cd771f1567074418c883c3e (diff)
It's starting to "properly" reply...
The ACSL coverage is far behind though.
Diffstat (limited to 'src/server/server.c')
-rw-r--r--src/server/server.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/server/server.c b/src/server/server.c
index 197faf6..edd1bd7 100644
--- a/src/server/server.c
+++ b/src/server/server.c
@@ -84,3 +84,4 @@ int ZoO_server_main
return 0;
}
+