Hey,Guy，
The 0.5.2 DEV donation has a big problem. I ran 4 vega machines last night. Today I found that only one is connected to xmr pool(minexmr.com). The other three are running normally from software window showing, but I dont know what pool they are connectting to.The pool went, I guess it is connected to your dev pool, donated for about 6 hours, It is very terrible!
Can you please post a snippet of the output/log from one of these machines?
What makes you think that the miner was not connected to the pool if it was running normally?
The miner does not switch between dev and user pools, they are both run at the same time.
If the user pool connection cannot be established for any reason, all mining stops.
The miner prints the name of the connected pool for every share that is submitted to the user pool, so it should be easily visible from the log which pool it is connected to. (Also we currently only support one user pool, so not much of an option there)