chiark / gitweb /
Merge branch 'java-home-lookup' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Tue, 9 Aug 2016 15:44:06 +0000 (15:44 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Tue, 9 Aug 2016 15:44:06 +0000 (15:44 +0000)
commitabb4c5587f7cbbd0865ce43b4b3f4728e1dcf2c9
tree34a57b556bdca2ad7c0090618e3910d4521d84c4
parent911297272c6753a002286002ef5d8fab86453f0e
parent162808a4ccd7eb4e2c0f502c12beb1e20ef07ad8
Merge branch 'java-home-lookup' into 'master'

Fix JDK lookup

Fix two cases when JDK path lookup could fail (found those issues on my Fedora 24 box).

See merge request !153
fdroidserver/common.py