jolly has uploaded this change for review. (
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43282?usp=email )
Change subject: fixup Add close function to HTTP_Server_Emulation
......................................................................
fixup Add close function to HTTP_Server_Emulation
Change-Id: I8c82f0063770cd6d6a1a98c229d4122c5aa2b4bd
---
M library/HTTP_Server_Emulation.ttcn
1 file changed, 14 insertions(+), 4 deletions(-)
git pull ssh://gerrit.osmocom.org:29418/osmo-ttcn3-hacks
refs/changes/82/43282/1
diff --git a/library/HTTP_Server_Emulation.ttcn
b/library/HTTP_Server_Emulation.ttcn
index d604dd3..73a93bc 100644
--- a/library/HTTP_Server_Emulation.ttcn
+++ b/library/HTTP_Server_Emulation.ttcn
@@ -33,9 +33,9 @@
port HTTPmsg_PT HTTP_server_port;
/* Communication with Clients */
- port HTTP_SRV_PT CLIENT;
- port HTTP_SRV_PROC_PT CLIENT_PROC;
- port HTTP_SRV_PT CLIENT_DEFAULT;
+ port HTTP_CLNT_PT CLIENT;
+ port HTTP_CLNT_PROC_PT CLIENT_PROC;
+ port HTTP_CLNT_PT CLIENT_DEFAULT;
/* Configuration by the user */
var HttpServerEmulationCfg g_http_cfg;
@@ -122,7 +122,13 @@
* Interaction between Main and Client Components
***********************************************************************/
type port HTTP_SRV_PT message {
- inout HTTPMessage, Close;
+ inout HTTPMessage;
+ out Close;
+} with { extension "internal" };
+
+type port HTTP_CLNT_PT message {
+ inout HTTPMessage;
+ in Close;
} with { extension "internal" };
signature HTTPEM_register();
@@ -131,6 +137,10 @@
inout HTTPEM_register;
} with { extension "internal" };
+type port HTTP_CLNT_PROC_PT procedure {
+ inout HTTPEM_register;
+} with { extension "internal" };
+
/***********************************************************************
* Client Component
--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/43282?usp=email
To unsubscribe, or for help writing mail filters, visit
https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: newchange
Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: I8c82f0063770cd6d6a1a98c229d4122c5aa2b4bd
Gerrit-Change-Number: 43282
Gerrit-PatchSet: 1
Gerrit-Owner: jolly <[email protected]>