Fixed an issue with one short chunk and empty trailer

issue#81
This commit is contained in:
2013-10-18 20:59:29 +02:00
parent 0f7dca0701
commit 3065637c80
3 changed files with 61 additions and 22 deletions

View File

@@ -20,8 +20,9 @@ feature {NONE} -- Initialization
res.set_post_commit_action (agent commit)
end
wgi_response: WGI_RESPONSE
feature -- Access
wgi_response: WGI_RESPONSE
feature {WGI_FILTER_RESPONSE} -- Change