Allow you to use int or str in state file for times section like :
   [('hp', '4'), ('vm-centos', '*'), ('vm-debian', '3'), ('kvm-test', '0')]

This patch ensure times is an int.

Traceback if you are using str without this patch :
  Traceback (most recent call last):
    File "/usr/lib/cgi-bin/upload.py", line 482, in &lt;module&gt;
      main()
    File "/usr/lib/cgi-bin/upload.py", line 426, in main
      names[idx] = (name, times - 1)
  TypeError: unsupported operand type(s) for -: 'str' and 'int'