diff options
| author | Jose <jose@zeroc.com> | 2013-09-17 14:34:55 +0200 |
|---|---|---|
| committer | Jose <jose@zeroc.com> | 2013-09-17 14:34:55 +0200 |
| commit | 195339f02a38cf0b8efd56bc6501085769bfa8d0 (patch) | |
| tree | 88dad6e6cb98e950a1cb8baa888ab23f5b3c185c /demoscript/Util.py | |
| parent | Fixed ICE-5433 - fixed test/Ice/properties/run.py to work with non-UTF8 locales (diff) | |
| download | ice-195339f02a38cf0b8efd56bc6501085769bfa8d0.tar.bz2 ice-195339f02a38cf0b8efd56bc6501085769bfa8d0.tar.xz ice-195339f02a38cf0b8efd56bc6501085769bfa8d0.zip | |
Fix JAVA_HOME setting in test and demo scripts
Diffstat (limited to 'demoscript/Util.py')
| -rw-r--r-- | demoscript/Util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demoscript/Util.py b/demoscript/Util.py index 7c70a39384c..b48b3410f92 100644 --- a/demoscript/Util.py +++ b/demoscript/Util.py @@ -17,7 +17,7 @@ import time import subprocess javaHome = os.environ.get("JAVA_HOME", "") -javaCmd = os.path.join('"%s"' % javaHome, "bin", "java") if javaHome else "java" +javaCmd = '"%s"' % os.path.join(javaHome, "bin", "java") if javaHome else "java" # Locate the top level directory of the demo dist (or the top of the # source tree for a source dist). |