chiark / gitweb /
common: do not crash if the java_paths are not what is expected
authorHans-Christoph Steiner <hans@eds.org>
Thu, 11 Feb 2016 22:49:54 +0000 (23:49 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Fri, 12 Feb 2016 07:33:21 +0000 (08:33 +0100)
Many commands work without the JDK installed, and it is also possible that
someone is using only JDK 8 or 9.


No differences found