52 |
return FILE_TYPE_HTML; |
return FILE_TYPE_HTML; |
53 |
} |
} |
54 |
else { |
else { |
55 |
return FILE_TYPE_UNKNOWN; |
return FILE_TYPE_OTHER; |
56 |
} |
} |
57 |
} |
} |
58 |
|
|
83 |
if (instrumenting) { |
if (instrumenting) { |
84 |
enum FileType file_type = get_file_type(source_file); |
enum FileType file_type = get_file_type(source_file); |
85 |
switch (file_type) { |
switch (file_type) { |
86 |
case FILE_TYPE_UNKNOWN: |
case FILE_TYPE_OTHER: |
87 |
case FILE_TYPE_HTML: |
case FILE_TYPE_HTML: |
88 |
copy_file(source_file, destination_file); |
copy_file(source_file, destination_file); |
89 |
break; |
break; |