fixes in tune tool

Author: vadv

mamonsu/tools/tune/pgsql.py

@@ -1,6 +1,8 @@
 # -*- coding: utf-8 -*-
 import sys
 import logging
+import os
+import re
 
 import mamonsu.lib.platform as platform
 from mamonsu.plugins.pgsql.pool import Pooler
@@ -67,10 +69,18 @@ def _configure_extensions(self):
  else:
  libraries = libraries.split(',')
  libraries = [ext.strip() for ext in libraries]
- if needed_libraries not in libraries:
- for ext in needed_libraries:
- if ext not in libraries:
- libraries.append(ext)
+ for candidate_ext in needed_libraries:
+ extension_found = False
+ for installed_ext in libraries:
+ # $dir/ext => ext
+ installed_ext = os.path.basename(installed_ext)
+ installed_ext = re.sub('\.so$', '', installed_ext)
+ installed_ext = re.sub('\.dll$', '', installed_ext)
+ # if any found
+ if installed_ext == candidate_ext:
+ extension_found = True
+ if not extension_found:
+ libraries.append(candidate_ext)
  libraries = ','.join(libraries)
  self._run_query(
  "alter system set shared_preload_libraries to {0};".format(