|
|
fc5ef995bc
|
Added WSF_CUSTOM_HEADER_FILTER which provide a convenient way to add a custom header from a filter.
Added to wsf_extension WSF_DEBUG_FILTER and WSF_DEBUG_HANDLER that could be convenient to test specific requests
Restructured wsf_extension
|
2013-09-06 15:39:04 +02:00 |
|
Colin Adams
|
a303783204
|
Fifth round of contracts for non-Void-safe users
|
2013-03-15 14:06:37 +00:00 |
|
Colin Adams
|
4ec2832375
|
Response to comments from review "Contracts for non-Void-safe users (take 1)"
|
2013-03-14 14:17:03 +00:00 |
|
Colin Adams
|
ca5619c6fc
|
Added non-Void contracts for classes previously flagged by AutoTest
|
2013-03-14 11:48:46 +00:00 |
|
Jocelyn Fiat
|
a7e6651806
|
Use WSF_REQUEST.read_input_data_into (buf)
|
2012-12-20 22:57:38 +01:00 |
|
Jocelyn Fiat
|
ffe87ccbe9
|
Fixed reading chunked input data
When retrieving data block by block, use 8_192 instead of 1_024 (since 1_024 is too small most of the time)
|
2012-12-18 23:40:26 +01:00 |
|
Jocelyn Fiat
|
6eb0ebd873
|
Merge pull request #16 from colin-adams/master
Implementation for automatic HEAD and first pass at HTTP 1.1 conformance contracts
|
2012-12-13 13:58:42 -08:00 |
|
Colin Adams
|
eafb04719d
|
Actioned Jocelyns comments re. a_req and a_res
|
2012-12-11 19:26:06 +00:00 |
|
Jocelyn Fiat
|
df0d3e584c
|
Fixed issue related to vars that are already converted to WSF_TABLE
|
2012-12-10 11:00:06 +01:00 |
|
Colin Adams
|
58f26fdc1b
|
Revert do_get_head patch
|
2012-12-06 19:48:13 +00:00 |
|
Colin Adams
|
a9d83f97a8
|
Completed first pass for HTTP 1.1 conformace contracts
|
2012-11-24 15:45:42 +00:00 |
|
Colin Adams
|
496df96f75
|
First postconditions relating to response codes added
|
2012-11-24 14:02:26 +00:00 |
|
Colin Adams
|
17ce1be582
|
Added framework for HTTP-conforming contracts
|
2012-11-24 11:55:10 +00:00 |
|
Jocelyn Fiat
|
fdd40ff08d
|
minor change: reuse local variable
|
2012-11-21 09:48:58 +01:00 |
|
Jocelyn Fiat
|
50d5254060
|
Added WSF_REQUEST_UTILITY_PROXY, that provides the WSF_REQUEST_UTILITY features to a class that implement request: WSF_REQUEST
|
2012-10-22 17:09:57 +02:00 |
|
Jocelyn Fiat
|
aa743c0a7d
|
Removed generic parameter in WSF_FILTER_HANDLER, since it is useless and make code heavy
Signed-off-by: Olivier Ligot <oligot@gmail.com>
Signed-off-by: Jocelyn Fiat <jfiat@eiffel.com>
|
2012-10-08 10:40:44 +02:00 |
|
Jocelyn Fiat
|
737213b44c
|
Added WSF_RESOURCE_CONTEXT_HANDLER_HELPER
|
2012-10-04 14:46:28 +02:00 |
|
Jocelyn Fiat
|
291bb3a33b
|
moved wsf_extension inside wsf/extension as wsf/wsf_extension.ecf
added wsf/session as wsf/wsf_session.ecf
In descendants of WSF_HANDLER , we can keep the result of new_mapping as WSF_ROUTER_MAPPING
|
2012-09-28 14:42:31 +02:00 |
|
