Merge branch 'release/debian/0.32.15-1'HEADdebian/0.32.15-1master

1 files changed, 2 insertions, 8 deletions

diff --git a/src/plugins/Plugins.vala b/src/plugins/Plugins.vala
index cfab7e8..7078680 100644
--- a/src/plugins/Plugins.vala
+++ b/src/plugins/Plugins.vala
@@ -300,13 +300,6 @@ public int compare_extension_point_names(ExtensionPoint a, ExtensionPoint b) {
     return a.name.collate(b.name);
 }
 
-private bool is_shared_library(File file) {
-    string name, ext;
-    disassemble_filename(file.get_basename(), out name, out ext);
-
-    return ext == Module.SUFFIX;
-}
-
 private void search_for_plugins(File dir) throws Error {
     debug("Searching %s for plugins…", dir.get_path());
     
@@ -334,8 +327,9 @@ private void search_for_plugins(File dir) throws Error {
             break;
             
             case FileType.REGULAR:
-                if (is_shared_library(file))
+                if (info.get_content_type() == "application/x-sharedlib") {
                     load_module(file);
+                }
             break;
             
             default: