Use java.file.nio API Files.createDirectories instead of File.mkdirs 96/1196/1
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Sun, 5 Nov 2017 11:53:45 +0000 (13:53 +0200)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Sun, 5 Nov 2017 11:53:45 +0000 (13:53 +0200)
commitbdbcaeeef059e97bcaba696f129deb1d5c16c0bf
tree87c7857f6a710f16a936ee1fe397c63ca21765dc
parent0da8a106b00aead3a4bcdbaf1e911b4eb1845a24
Use java.file.nio API Files.createDirectories instead of File.mkdirs

This should at least provide better diagnostics in case of unexpected
failure.

refs #7600

Change-Id: Ib5fb10798257cd35d3d8c3c533574b17a62e715b
bundles/org.simantics.db.indexing/src/org/simantics/db/indexing/IndexedRelationsSearcherBase.java