Compare commits

..

34 Commits

Author SHA1 Message Date
e2d05c6860 Merge changes from master related to wiki docs.
Merge branch 'master' into concurrent_httpd

Conflicts:
	README.md
2015-05-06 21:40:53 +02:00
593fbef57b Updated readme. 2015-05-06 21:35:09 +02:00
d55537ba16 Added abstraction WSF_ROUTED, and WSF_FILTERED.
Added under library/server/obsolete/v0 the previous non concurrent friendly version of EWF/WSF, for backward compatiblity.
Removed WSF_CALLBACK_SERVICE and WSF_TO_WGI_SERVICE which are not need with new EWF.
2015-05-06 19:32:05 +02:00
3b375e12ca Merge branch 'master' into concurrent_httpd
- Updated JSON parser library
 - Removed obsolete calls on json parser library.
2015-04-08 16:16:04 +02:00
cf549e8f62 Fixed typo. 2015-04-07 15:02:44 +02:00
c820ef431b Fixed a typo. 2015-04-07 14:47:38 +02:00
92a8e8094f Merged DbC and cosmetic related changes from remote-tracking branch 'javier/concurrent_httpd'. 2015-04-07 14:40:03 +02:00
14c1faa124 Added a few descriptions and comments. 2015-04-07 14:13:41 +02:00
jvelilla
7dd4da35af Added feature comments.
Added missing postconditions.
2015-04-06 18:07:35 -03:00
jvelilla
0eb7752772 Added descriptions and comments 2015-04-06 17:46:59 -03:00
jvelilla
d576879b2c Added descriptions and feature comments. 2015-04-06 17:05:35 -03:00
jvelilla
4f9fcf42e2 Added features comments. 2015-04-06 16:42:45 -03:00
jvelilla
0b00bc4f68 Added Missing Class and feature descriptions.
Removed author entry.
2015-04-06 12:24:47 -03:00
3c7ca1b15b Export request and response from WGI_EXECUTION to itself.
Added WSF_FILTERED_ROUTED_SKELETON_EXECUTION
2015-04-02 18:23:58 +02:00
7ac20bbcbc renamed keep_alive_requested as is_persistent_connection_requested. 2015-04-01 22:51:20 +02:00
6f74361223 Following the spec, use "keep-alive" and "close" in lowercase for Connection header. 2015-04-01 22:44:24 +02:00
c25ea52bf8 Better support for HTTP/1.0 and also related to persistent connection. 2015-04-01 22:41:43 +02:00
c2bca44bbd Improved support for HTTP/1.0 persistent connection. 2015-04-01 20:11:30 +02:00
5dc5a751e5 Enable support for persistent connections.
(test: works fine with curl -k , but weird behavior with ab -k ...)
2015-04-01 19:31:27 +02:00
52dff7e0fb First step to improve a bit error handling related to socket disconnection.
Mainly in standalone connector for now.
2015-04-01 17:29:53 +02:00
42e3c5e755 Improved the simple_file example with image, and not found message.
Use standalone connector in SCOOP concurrency mode.
2015-04-01 15:33:47 +02:00
8e3c5de4f7 Cleaned simple example, and made the standalone target with SCOOP concurrency. 2015-04-01 15:09:04 +02:00
3710c787d1 Updated various indexing notes.
Removed a few obsolete classes.
Cosmetics
2015-03-31 21:33:38 +02:00
d4f550246d Added migration note. 2015-03-31 16:07:48 +02:00
060a2bb952 Migrated most of the example and library to new design. 2015-03-31 14:50:20 +02:00
449720c99e Implemented support for base url in httpd connector. 2015-03-25 22:22:57 +01:00
2b7fbb0724 Migrated simple, simple_file and upload_image example.
Adapted EWF accordingly.
2015-03-25 14:56:38 +01:00
c8eb22c8e5 Added SCOOP support for WSF.
WSF_SERVICE is deeply changed, and addition of WSF_EXECUTION.
Todo: code cleaning, removing useless things.
2015-03-24 23:21:49 +01:00
93e28a8c69 First steps to provide a concurrent compliant EWF connector "httpd"
successor of "nino" connector.
It is based on the new NETWORK_STREAM_SOCKET.accept_to feature.
Note the SSL version is not done yet.

Support for concurrency: none, thread and scoop
2015-03-20 17:35:46 +01:00
da6125a321 Support for concurrencies: none, thread and SCOOP 2015-03-20 15:48:54 +01:00
d4847251ef Finally SCOOP supported. 2015-03-20 13:37:54 +01:00
7914402a51 Experiment to avoid pseudo sequential execution 2015-03-17 15:52:15 +01:00
592975dfe2 First attempt to use `{NETWORK_STREAM_SOCKET}.accept_to' 2015-03-17 09:48:11 +01:00
33ec1bc2d3 First steps to provide a concurrent compliant EWF connector. 2015-03-13 16:26:07 +01:00

View File

@@ -162,6 +162,7 @@ feature -- Element change
else
is_secure := False
end
--| Missing postcondition
ensure
is_secure_set: has_ssl_support implies is_secure
-- http_server_port_set: has_ssl_support implies http_server_port = 443