Use modified configs (galaxy.ini/job_conf.xml) in in /export.

Resolves bgruening#42.
jmchilton · Mar 5, 2015 · 9f2ad35 · 9f2ad35
1 parent e9d4058
commit 9f2ad35
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/galaxy/export_user_files.py b/galaxy/export_user_files.py
@@ -46,6 +46,12 @@ def change_path( src ):
     if os.path.exists( '/export/.distribution_config/' ):
         shutil.rmtree( '/export/.distribution_config/' )
     shutil.copytree( '/galaxy-central/config/', '/export/.distribution_config/' )
+    for config in [ 'galaxy.ini', 'job_conf.xml' ]:
+        export_config = os.path.join( '/export/galaxy-central/configs', config )
+        if os.path.exists(export_config):
+            image_config = os.path.join('/etc/galaxy/', config)
+            shutil.copy(export_config, image_config)
+
     if not os.path.exists( '/export/galaxy-central/' ):
         os.makedirs("/export/galaxy-central/")
         os.chown( "/export/galaxy-central/", int(os.environ['GALAXY_UID']), int(os.environ['GALAXY_GID']) )