author | wenzelm |
Mon, 07 Dec 2009 23:06:03 +0100 | |
changeset 34025 | 7996b488a9b5 |
parent 34024 | 0bae8702a7c5 |
child 34026 | 0cb44ac299f8 |
child 34029 | d3dead6ae0d2 |
child 34030 | 829eb528b226 |
child 34033 | 687140d426e9 |
--- a/src/Pure/System/isabelle_system.scala Mon Dec 07 22:23:33 2009 +0100 +++ b/src/Pure/System/isabelle_system.scala Mon Dec 07 23:06:03 2009 +0100 @@ -260,7 +260,7 @@ { getenv_strict("ISABELLE_TOOLS").split(":").find(dir => { val file = platform_file(dir + "/" + name) - try { file.isFile && file.canRead } // file.canExecute requires Java 1.6 + try { file.isFile && file.canRead && file.canExecute } catch { case _: SecurityException => false } }) match { case Some(dir) =>