fixes an issue with SERVER_TIMEOUT being a string.