execute_ssh_command convert parms to int

This makes the function easier to use by robot programs

Change-Id: Iffd8657bcdac214cb13ec7bba6e86b28f4e6602f
Signed-off-by: Michael Walsh <micwalsh@us.ibm.com>
diff --git a/lib/gen_robot_ssh.py b/lib/gen_robot_ssh.py
index 7891059..9de7a34 100755
--- a/lib/gen_robot_ssh.py
+++ b/lib/gen_robot_ssh.py
@@ -219,6 +219,11 @@
 
     gp.lprint_executing()
 
+    # Convert to int.
+    print_out = int(print_out)
+    print_err = int(print_err)
+    ignore_err = int(ignore_err)
+    fork = int(fork)
     # Obtain default values.
     quiet = int(gp.get_var_value(quiet, 0))
     test_mode = int(gp.get_var_value(test_mode, 0))