- if (! pRasterSupervisor->cancelled())
- pRasterSupervisor->onDone();
- pRasterSupervisor->deleteWorkers();
- while (! pRasterSupervisor->workersDeleted()) {
- Sleep(50);
- }
- delete pRasterSupervisor;
-
+ if (! rasterSupervisor.cancelled())
+ rasterSupervisor.onDone();
+ rasterSupervisor.deleteWorkers();
+