From 23ed157a7516ea5f6fe5407b6c646e629a8a2a64 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <git@djoce.net>
Date: Tue, 18 Jun 2013 15:12:53 +0200
Subject: [PATCH] Better use append rather than copy here.

---
 library/server/wsf/src/wsf_request.e | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/server/wsf/src/wsf_request.e b/library/server/wsf/src/wsf_request.e
index 6b9eb159..d7e843d0 100644
--- a/library/server/wsf/src/wsf_request.e
+++ b/library/server/wsf/src/wsf_request.e
@@ -234,7 +234,7 @@ feature -- Access: Input
 			n: INTEGER
 		do
 			if raw_input_data_recorded and then attached raw_input_data as d then
-				buf.copy (d)
+				buf.append (d)
 			else
 				l_input := input
 				if is_chunked_input then