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

Fixed WSF_FILE_SYSTEM_HANDLER.process_index (..)

Browse Source
This commit is contained in:
Jocelyn FIAT
2013-10-25 16:09:43 +02:00
parent ab07c2e0ce
commit 026f8ae608
1 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
library/server/wsf/router/wsf_file_system_handler.e
View File

@@ -170,6 +170,8 @@ feature -- Status report
e := p e := p
end end
if e.is_parent_symbol then if e.is_parent_symbol then
elseif e.is_current_symbol then
Result := True
else else
n := e.name n := e.name
Result := n.starts_with ({STRING_32} ".") Result := n.starts_with ({STRING_32} ".")
@@ -273,8 +275,8 @@ feature -- Execution
else else
n := p.name n := p.name
create pf.make_with_path (p) create pf.make_with_path (dn.extended_path (p))
if pf.is_directory then if pf.exists and then pf.is_directory then
l_is_dir := True l_is_dir := True
else else
l_is_dir := False l_is_dir := False
@@ -301,11 +303,13 @@ feature -- Execution
s.append ("</td>") s.append ("</td>")
s.append ("<td>") s.append ("<td>")
create httpdate.make_from_date_time (file_date (pf)) if pf.exists then
httpdate.append_to_rfc1123_string (s) create httpdate.make_from_date_time (file_date (pf))
httpdate.append_to_rfc1123_string (s)
end
s.append ("</td>") s.append ("</td>")
s.append ("<td>") s.append ("<td>")
if not l_is_dir then if not l_is_dir and pf.exists then
s.append_integer (file_size (pf)) s.append_integer (file_size (pf))
end end
s.append ("</td>") s.append ("</td>")