equal
deleted
inserted
replaced
54 { |
54 { |
55 URLConnection uc = null; |
55 URLConnection uc = null; |
56 URL ru; |
56 URL ru; |
57 |
57 |
58 boolean localonly = Boolean.parseBoolean( |
58 boolean localonly = Boolean.parseBoolean( |
59 GetPropertyAction.getProperty("newdoc.localonly")); |
59 GetPropertyAction.privilegedGetProperty("newdoc.localonly")); |
60 |
60 |
61 String docurl = GetPropertyAction.getProperty("doc.url"); |
61 String docurl = GetPropertyAction.privilegedGetProperty("doc.url"); |
62 |
62 |
63 String file = u.getFile(); |
63 String file = u.getFile(); |
64 if (!localonly) { |
64 if (!localonly) { |
65 try { |
65 try { |
66 if (base == null) { |
66 if (base == null) { |