From 80ac55b3ff132cf6e1778b99cb6ffb01bec9cfe8 Mon Sep 17 00:00:00 2001
From: Nicola Soranzo <nicola.soranzo@earlham.ac.uk>
Date: Wed, 21 Mar 2018 03:01:57 +0000
Subject: [PATCH] Don't quote ints in .ini to .yml config conversion

---
 lib/galaxy/webapps/config_manage.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/galaxy/webapps/config_manage.py b/lib/galaxy/webapps/config_manage.py
index 714d4628544..44ae449e910 100644
--- a/lib/galaxy/webapps/config_manage.py
+++ b/lib/galaxy/webapps/config_manage.py
@@ -751,10 +751,11 @@ def _parse_option_value(option_value):
     if isinstance(option_value, OptionValue):
         option = option_value.option
         value = option_value.value
-        option = option_value.option
         # Hack to get nicer YAML values during conversion
         if option.get("type", "str") == "bool":
             value = str(value).lower() == "true"
+        elif option.get("type", "str") == "int":
+            value = int(value)
     else:
         value = option_value
         option = OPTION_DEFAULTS