Searched refs:PREFER_LOCAL_DEVSERVER (Results 1 – 2 of 2) sorted by relevance
125 PREFER_LOCAL_DEVSERVER = CONFIG.get_config_value( variable713 prefer_local_devserver=PREFER_LOCAL_DEVSERVER,
1216 if not (dev_server.PREFER_LOCAL_DEVSERVER and pool and board):