[Android] [PATCH] gnutls : add gnutls-dbname option

[Duncan McNamara]

Add the gnutls-dbname option to specify the known_hosts storage file
---
 vlc-android/src/org/videolan/vlc/util/VLCOptions.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/vlc-android/src/org/videolan/vlc/util/VLCOptions.java b/vlc-android/src/org/videolan/vlc/util/VLCOptions.java
index 26f1dd5..c169de9 100644
--- a/vlc-android/src/org/videolan/vlc/util/VLCOptions.java
+++ b/vlc-android/src/org/videolan/vlc/util/VLCOptions.java
@@ -107,6 +107,10 @@ public class VLCOptions {
         else
             options.add("--freetype-background-opacity=0");
 
+        /* gnutls certificate store */
+        options.add("--gnutls-dbname");
+        options.add(new File(context.getDir("gnutls", Context.MODE_PRIVATE), "known_hosts").getAbsolutePath());
+        
         /* Configure keystore */
         options.add("--keystore");
         if (AndroidUtil.isMarshMallowOrLater())
-- 
2.5.5