--- /org/python/util/jython.java Tue Dec 5 23:59:00 2006 +++ jython.java Fri Jan 12 13:49:31 2007 @@ -169,7 +169,9 @@ // was there a filename on the command line? if (opts.filename != null) { - String path = new java.io.File(opts.filename).getParent(); + java.io.File f = new java.io.File(opts.filename); + String abspath = f.getAbsolutePath(); + String path = f.getParent(); if (path == null) path = ""; Py.getSystemState().path.insert(0, new PyString(path)); @@ -186,8 +188,8 @@ } else { try { interp.locals.__setitem__(new PyString("__file__"), - new PyString(opts.filename)); - interp.execfile(opts.filename); + new PyString(abspath)); + interp.execfile(abspath); } catch(Throwable t) { Py.printException(t); if (!opts.interactive) {