Parent Directory | Revision Log | Patch
revision 1.4 by julian, Tue Oct 25 16:20:44 2005 UTC | revision 1.5 by julian, Tue Oct 25 16:23:59 2005 UTC | |
---|---|---|
# | Line 69 public class ExternalDocSet | Line 69 public class ExternalDocSet |
69 | ||
70 | URL packageListDirURL; | URL packageListDirURL; |
71 | if (null != packageListDir) { | if (null != packageListDir) { |
72 | if (!packageListDir.endsWith("/")) { | |
73 | packageListDir += "/"; | |
74 | } | |
75 | packageListDirURL = new URL(new File(System.getProperty("user.dir")).toURL(), | packageListDirURL = new URL(new File(System.getProperty("user.dir")).toURL(), |
76 | packageListDir); | packageListDir); |
77 | } | } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |