with End_of_file ->

  with End_of_file ->

    dirh.System.closedir ()

    dirh.System.closedir ()

  end;

  end;

let ls dir pattern =

let ls dir pattern =

  Util.convertUnixErrorsToTransient

  Util.convertUnixErrorsToTransient

(* Sorts the paths so that they will be displayed in order                   *)

(* Sorts the paths so that they will be displayed in order                   *)

let sortPaths pathUpdatesList =

let sortPaths pathUpdatesList =

    pathUpdatesList

    pathUpdatesList

let rec enterPath p1 p2 t =

let rec enterPath p1 p2 t =

let chmod = Unix.chmod

let chmod = Unix.chmod

let chown = Unix.chown

let chown = Unix.chown

let utimes = Unix.utimes

let utimes = Unix.utimes

let openfile = Unix.openfile

let openfile = Unix.openfile

let opendir f =

let opendir f =

  let h = Unix.opendir f in

  let h = Unix.opendir f in

let icon =

let icon =

  let p = GdkPixbuf.create ~width:48 ~height:48 ~has_alpha:true () in

  let p = GdkPixbuf.create ~width:48 ~height:48 ~has_alpha:true () in

  Gpointer.blit

  Gpointer.blit

  p

  p

let leftPtrWatch =

let leftPtrWatch =