Revision 40861 trunk/org.gvsig.desktop/pom.xml
pom.xml | ||
---|---|---|
2310 | 2310 |
props.setProperty('gvsig.product.folder.path', gvsigProductFolderPath) |
2311 | 2311 |
props.store(propsFile.newWriter(), null) |
2312 | 2312 |
} |
2313 |
if( gvsigProductFolderPathDefault != gvsigProductFolderPath ) { |
|
2314 |
f = new File(gvsigProductFolderPathDefault) |
|
2315 |
f.mkdirs(); |
|
2316 |
new File(f,"WARNING.txt").withWriter { out -> |
|
2317 |
out.println(); |
|
2318 |
out.println("The product folder used is set to:"); |
|
2319 |
out.println(); |
|
2320 |
out.println(gvsigProductFolderPath); |
|
2321 |
out.println(); |
|
2322 |
out.println("See the HOME/.gvsig-devel.properties to change it."); |
|
2323 |
out.println(); |
|
2324 |
} |
|
2325 |
} |
|
2313 | 2326 |
log.info("Current gvsig.product.folder.path = " + gvsigProductFolderPath) |
2314 | 2327 |
} |
2315 | 2328 |
]]></source> |
Also available in: Unified diff