# File lib/util/timeout.rb, line 28
    def sec_to_millis(s)
      return (s * 1000).to_int
    end