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

Better use append rather than copy here.

Browse Source
This commit is contained in:
Jocelyn FIAT
2013-06-18 15:12:53 +02:00
parent 3723469d52
commit 23ed157a75
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
library/server/wsf/src/wsf_request.e
View File

@@ -234,7 +234,7 @@ feature -- Access: Input
n: INTEGER n: INTEGER
do do
if raw_input_data_recorded and then attached raw_input_data as d then if raw_input_data_recorded and then attached raw_input_data as d then
buf.copy (d) buf.append (d)
else else
l_input := input l_input := input
if is_chunked_input then if is_chunked_input then