Merge pull request #19 from galaxyproject/adjust-panel-search

adjust tool panel search config
galaxyproject · May 2, 2016 · f7f51ae · f7f51ae
2 parents 9e4ed01 + a9283c3
commit f7f51ae
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/production/group_vars/galaxyservers.yml b/production/group_vars/galaxyservers.yml
@@ -273,6 +273,9 @@ base_app_main: &BASE_APP_MAIN
   use_heartbeat: "True"
   heartbeat_interval: -1
   heartbeat_log: "{{ galaxy_log_dir }}/heartbeat_{server_name}.log"
+  tool_search_limit: 30
+  tool_name_boost: 12
+  tool_section_boost: 5
 
 # galaxy.ini contents
 galaxy_config_hash: