diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-01 09:31:59 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-12-01 09:31:59 +0000 |
| commit | 905267fe2cec4625651507db7539493504789d05 (patch) | |
| tree | ff1267bc4ee35ed4f6b8cc5bd01f6e1d2340c45a /otherlibs/labltk/browser/shell.ml | |
| parent | b9926a88bab922f6f095b838444e29094aef9b34 (diff) | |
changed some labels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2659 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/shell.ml')
| -rw-r--r-- | otherlibs/labltk/browser/shell.ml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml index 8f91c6a4f..039dc3f7b 100644 --- a/otherlibs/labltk/browser/shell.ml +++ b/otherlibs/labltk/browser/shell.ml @@ -152,12 +152,7 @@ let get_all () = all let may_exec prog = - try - let stats = Unix.stat prog in - stats.Unix.st_perm land 1 <> 0 or - stats.Unix.st_perm land 8 <> 0 - & List.mem elt:stats.Unix.st_gid (Array.to_list (Unix.getgroups ())) or - stats.Unix.st_perm land 64 <> 0 & stats.Unix.st_uid = Unix.getuid () + try Unix.access file:prog perm:[Unix.X_OK]; true with Unix.Unix_error _ -> false let f :prog :title = |