The behavior of builder-client drop-platform $PLATFORM is confusing and a bit brittle. It initially works fine, and any builder-workers for $PLATFORM just sit idly without getting any jobs. Then when or if the workers are restarted the platform is added back again.
I'm not sure what's a good way to deal with this issue. One way forward could be to print "hey please remember to shut down workers for $PLATFORM" and maybe listing how many workers for that platform are connected. I don't know.
The behavior of
builder-client drop-platform $PLATFORM
is confusing and a bit brittle. It initially works fine, and any builder-workers for$PLATFORM
just sit idly without getting any jobs. Then when or if the workers are restarted the platform is added back again.I'm not sure what's a good way to deal with this issue. One way forward could be to print "hey please remember to shut down workers for $PLATFORM" and maybe listing how many workers for that platform are connected. I don't know.