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.h
parent9ca43c73ba29d6b42cd771f1567074418c883c3e (diff)
It's starting to "properly" reply...
The ACSL coverage is far behind though.
Diffstat (limited to 'src/server/server.h')
-rw-r--r--src/server/server.h20
1 files changed, 20 insertions, 0 deletions
diff --git a/src/server/server.h b/src/server/server.h
index 90103ed..b8c0bc8 100644
--- a/src/server/server.h
+++ b/src/server/server.h
@@ -55,4 +55,24 @@ int ZoO_server_worker_handle_request
struct ZoO_server_worker worker [const restrict static 1]
);
+int ZoO_server_worker_send_confirm_protocol_version
+(
+ struct ZoO_server_worker worker [const restrict static 1]
+);
+
+int ZoO_server_worker_send_positive
+(
+ struct ZoO_server_worker worker [const restrict static 1]
+);
+
+int ZoO_server_worker_send_negative
+(
+ struct ZoO_server_worker worker [const restrict static 1]
+);
+
+int ZoO_server_worker_send_generated_reply
+(
+ struct ZoO_server_worker worker [const restrict static 1]
+);
+
#endif