From afb5762a7111b641b6ee80ad5d517661a5ca9761 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Sat, 16 Nov 2013 23:26:03 +0100
Subject: [PATCH] Save ignore settings in onPause, fixes #409

---
 src/org/fdroid/fdroid/AppDetails.java | 25 ++++++++++---------------
 1 file changed, 10 insertions(+), 15 deletions(-)

diff --git a/src/org/fdroid/fdroid/AppDetails.java b/src/org/fdroid/fdroid/AppDetails.java
index c0966280b..977999719 100644
--- a/src/org/fdroid/fdroid/AppDetails.java
+++ b/src/org/fdroid/fdroid/AppDetails.java
@@ -295,6 +295,16 @@ public class AppDetails extends ListActivity {
         if (downloadHandler != null) {
             downloadHandler.stopUpdates();
         }
+        if (app != null && (app.ignoreAllUpdates != startingIgnoreAll
+                || app.ignoreThisUpdate != startingIgnoreThis)) {
+            try {
+                DB db = DB.getDB();
+                db.setIgnoreUpdates(app.id,
+                        app.ignoreAllUpdates, app.ignoreThisUpdate);
+            } finally {
+                DB.releaseDB();
+            }
+        }
         super.onPause();
     }
 
@@ -1007,19 +1017,4 @@ public class AppDetails extends ListActivity {
         }
     }
 
-    @Override
-    public void finish() {
-        if (app != null && (app.ignoreAllUpdates != startingIgnoreAll
-                || app.ignoreThisUpdate != startingIgnoreThis)) {
-            try {
-                DB db = DB.getDB();
-                db.setIgnoreUpdates(app.id,
-                        app.ignoreAllUpdates, app.ignoreThisUpdate);
-            } finally {
-                DB.releaseDB();
-            }
-        }
-        super.finish();
-    }
-
 }