jython/jython-cachedir.patch

31 lines
1.3 KiB
Diff

--- jython-20030113/org/python/core/PySystemState.java~ 2003-01-14 16:44:44.000000000 -0500
+++ jython-20030113/org/python/core/PySystemState.java 2003-01-14 16:47:55.000000000 -0500
@@ -459,7 +459,13 @@
}
cachedir = new File(props.getProperty("python.cachedir", "cachedir"));
if (!cachedir.isAbsolute()) {
- cachedir = new File(PySystemState.prefix, cachedir.getPath());
+ File jythondir = new File(System.getProperty("user.home"), ".jython");
+
+ if (!jythondir.isDirectory()) {
+ jythondir.mkdirs();
+ }
+
+ cachedir = new File(jythondir, cachedir.getPath());
}
}
--- jython/org/python/core/PySystemState.java~ 2004-02-16 17:27:22.000000000 -0500
+++ jython/org/python/core/PySystemState.java 2004-02-16 17:29:05.000000000 -0500
@@ -311,8 +311,8 @@
}
try {
addRegistryFile(new File(prefix, "registry"));
- File homeFile = new File(registry.getProperty("user.home"),
- ".jython");
+ File homeFile = new File(new File(registry.getProperty("user.home"),
+ ".jython"), "registry");
addRegistryFile(homeFile);
} catch (Exception exc) {
;