added two parameters in Dispatcher::run()