Use platform.version() to check the currently active kernel in

LMDE.

In Mint, platform.release() returns the kernel version (which
matches the package versions), but in LMDE it returns the ABI
version.

Author: mtwebster

usr/lib/linuxmint/mintUpdate/mintUpdate.py

@@ -21,6 +21,7 @@
 import traceback
 import setproctitle
 import platform
+import re
 
 from kernelwindow import KernelWindow
 gi.require_version('Gtk', '3.0')
@@ -461,11 +462,18 @@ def run(self):
                         for pkg in update.package_names:
                             if "-image-" in pkg:
                                 try:
-                                    kernel_version = platform.release().split("-")[0]
+                                    if self.application.is_lmde:
+                                        # In Mint, platform.release() returns the kernel version. In LMDE it returns the kernel
+                                        # abi version.  So for LMDE, parse platform.version() instead.
+                                        version_string = platform.version()
+                                        kernel_version = re.search(r"(\d+\.\d+\.\d+)", version_string).group(1)
+                                    else:
+                                        kernel_version = platform.release().split("-")[0]
+
                                     if update.old_version.startswith(kernel_version):
                                         self.reboot_required = True
-                                except:
-                                    print("Warning: Could not assess the current kernel version.")
+                                except Exception as e:
+                                    print("Warning: Could not assess the current kernel version: %s" % str(e))
                                     self.reboot_required = True
                                 break
                     if update.type == "security" and \
@@ -1375,6 +1383,7 @@ def __init__(self):
         self.logger.write("Launching Update Manager")
         self.settings = Gio.Settings(schema_id="com.linuxmint.updates")
 
+        self.is_lmde = False
         self.app_restart_required = False
         self.show_cinnamon_enabled = False
         self.settings.connect("changed", self._on_settings_changed)
@@ -1667,6 +1676,8 @@ def __init__(self):
                 # Only support kernel selection in Linux Mint (not LMDE)
                 if not os.path.exists("/usr/share/doc/debian-system-adjustments/copyright"):
                     viewSubmenu.append(kernelMenuItem)
+                else:
+                    self.is_lmde = True
             except Exception as e:
                 print (e)
                 print(sys.exc_info()[0])