| Index: masters/master.client.dynamorio/master.cfg
|
| diff --git a/masters/master.client.dynamorio/master.cfg b/masters/master.client.dynamorio/master.cfg
|
| index 575d5c526899903d38ee83ff39fc0720b8a2d1c9..9d49790695095e30e9e2d248ceb8f2e066e0c11f 100644
|
| --- a/masters/master.client.dynamorio/master.cfg
|
| +++ b/masters/master.client.dynamorio/master.cfg
|
| @@ -18,7 +18,8 @@ from master import slaves_list
|
| from master.factory import drmemory_factory
|
|
|
| import config
|
| -ActiveMaster = config.Master.DynamoRIO
|
| +import master_site_config
|
| +ActiveMaster = master_site_config.DynamoRIO
|
|
|
| MASTER_HOST = ActiveMaster.master_host
|
| MAIL_NOTIFIER = ActiveMaster.is_production_host
|
|
|