From 026f8ae60859fb711b7e24f66adb7504392dc365 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 25 Oct 2013 16:09:43 +0200 Subject: [PATCH] Fixed WSF_FILE_SYSTEM_HANDLER.process_index (..) --- .../server/wsf/router/wsf_file_system_handler.e | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/library/server/wsf/router/wsf_file_system_handler.e b/library/server/wsf/router/wsf_file_system_handler.e index 90cbff6f..f6413292 100644 --- a/library/server/wsf/router/wsf_file_system_handler.e +++ b/library/server/wsf/router/wsf_file_system_handler.e @@ -170,6 +170,8 @@ feature -- Status report e := p end if e.is_parent_symbol then + elseif e.is_current_symbol then + Result := True else n := e.name Result := n.starts_with ({STRING_32} ".") @@ -273,8 +275,8 @@ feature -- Execution else n := p.name - create pf.make_with_path (p) - if pf.is_directory then + create pf.make_with_path (dn.extended_path (p)) + if pf.exists and then pf.is_directory then l_is_dir := True else l_is_dir := False @@ -301,11 +303,13 @@ feature -- Execution s.append ("") s.append ("") - create httpdate.make_from_date_time (file_date (pf)) - httpdate.append_to_rfc1123_string (s) + if pf.exists then + create httpdate.make_from_date_time (file_date (pf)) + httpdate.append_to_rfc1123_string (s) + end s.append ("") s.append ("") - if not l_is_dir then + if not l_is_dir and pf.exists then s.append_integer (file_size (pf)) end s.append ("")