Merge branch 'dev'

IngoZenz · Oct 3, 2021 · 6209fe7 · 6209fe7
2 parents 8724262 + 5c80ee3
commit 6209fe7
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/app/src/main/AndroidManifest.xml b/app/src/main/AndroidManifest.xml
@@ -1,8 +1,8 @@
 <?xml version="1.0" encoding="utf-8"?>
 <manifest xmlns:android="http://schemas.android.com/apk/res/android"
     package="dnsfilter.android"
-    android:versionCode="1505000"
-    android:versionName="1.50.50.0">
+    android:versionCode="1505001"
+    android:versionName="1.50.50.1">
 
     <uses-permission android:name="android.permission.INTERNET" />
     <uses-permission android:name="android.permission.READ_EXTERNAL_STORAGE" />

diff --git a/app/src/main/java/dnsfilter/DNSFilterManager.java b/app/src/main/java/dnsfilter/DNSFilterManager.java
@@ -64,7 +64,7 @@ of the License, or (at your option) any later version.
 
 public class DNSFilterManager extends ConfigurationAccess  {
 
-	public static final String VERSION = "1505000";
+	public static final String VERSION = "1505001";
 
 	private static DNSFilterManager INSTANCE = new DNSFilterManager();
 

diff --git a/app/src/main/java/util/HugePackedSet.java b/app/src/main/java/util/HugePackedSet.java
@@ -108,6 +108,8 @@ public void clear() {
 
 	@Override
 	public boolean contains(Object obj) {
+		if (count == 0)
+			return false;
 		return subsets[ (Math.abs( obj.hashCode() %  slotCount)) ].contains(obj);
 	}