set number of tornado workers in configuration file