- O.no_devel := devel = "";
- let str = U.string_of_uri uri in
- let i = S.index str '/' in
- let protocol = S.sub str 0 i in
- if protocol = "cic:" then
- let path = S.sub str (succ i) (S.length str - succ i) in
- let file = mk_file path in
- if Y.file_exists (F.concat base file) then
- scan_entry (is_script devel) base devel file
- else E.missing path
- else E.unsupported protocol
+ O.no_devel := devel = "";
+ let str = U.string_of_uri uri in
+ let i = S.index str '/' in
+ let protocol = S.sub str 0 i in
+ if protocol = "cic:" then
+ let path = S.sub str (succ i) (S.length str - succ i) in
+ let file = mk_file path in
+ if Y.file_exists (F.concat base file) then
+ scan_entry (is_script devel) base devel file
+ else E.missing path
+ else E.unsupported protocol