From ec2792b645b2d0ba9354dc2137950d0748ac1f81 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 29 Mar 2013 15:10:51 +0100 Subject: [PATCH] Do not change tmp_name from WSF_UPLOADED_FILE ... otherwise the file will be removed at the end of the request --- library/server/wsf/src/request/value/wsf_uploaded_file.e | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/library/server/wsf/src/request/value/wsf_uploaded_file.e b/library/server/wsf/src/request/value/wsf_uploaded_file.e index 1fbcc973..f9876b27 100644 --- a/library/server/wsf/src/request/value/wsf_uploaded_file.e +++ b/library/server/wsf/src/request/value/wsf_uploaded_file.e @@ -204,12 +204,12 @@ feature -- Basic operation create f.make (n) if f.exists then f.change_name (a_destination) - set_tmp_name (f.name) Result := True end end ensure - exists: old exists implies exists + removed: not exists + moved: old exists implies (create {FILE_UTILITIES}).file_exists (a_destination) end feature -- Status