mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

added reference to assertion tags in check justiciation

Browse Source
This commit is contained in:
Colin Adams
2013-03-19 15:59:17 +00:00
parent 7435b4f454
commit d34c940c91
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
library/server/wsf/router/wsf_routed_skeleton_service.e
View File

@@ -113,7 +113,7 @@ feature {NONE} -- Implementation
create h.make create h.make
h.put_content_type_text_plain h.put_content_type_text_plain
check attached unavailablity_message as m then check attached unavailablity_message as m then
-- invariant plus precondition -- invariant `unavailability_message_attached' plus precondition `unavailable'
h.put_content_length (m.count) h.put_content_length (m.count)
h.put_current_date h.put_current_date
res.set_status_code ({HTTP_STATUS_CODE}.service_unavailable) res.set_status_code ({HTTP_STATUS_CODE}.service_unavailable)