patched - thanks.

At 05:35  20/4/01 +0000, Archit Shah wrote:
>As per Conor's suggestion, I have changed Execute.java to parse
>out the major version as an int insteading parsing the "os.version"
>property as a float.
>
> -- Archit
>
>--- Execute.java.submitted      Fri Apr 20 10:17:37 2001
>+++ Execute.java        Fri Apr 20 10:22:14 2001
>@@ -181,8 +181,11 @@
>             // Mac
>             // Determine if we are running under OS X
>             try {
>-                float version =
Float.parseFloat(System.getProperty("os.version"));
>-                if (version >= 10.0) {
>+                String version = System.getProperty("os.version");
>+                int majorVersion = Integer.parseInt(
>+                    version.substring(0, version.indexOf('.')));
>+
>+                if (majorVersion >= 10) {
>                     // OS X - just line UNIX
>                     String[] cmd = {"/usr/bin/env"};
>                     return cmd;
>
>
Cheers,

Pete

*-----------------------------------------------------*
| "Faced with the choice between changing one's mind, |
| and proving that there is no need to do so - almost |
| everyone gets busy on the proof."                   |
|              - John Kenneth Galbraith               |
*-----------------------------------------------------*

Reply via email to