207208209210211212213214215216217
else /* dos */{ processDataPagesOptimize(distFunction, doubleOptimize, ps_heaps, null, ps, pr); } } if(fprogress != null) { fprogress.incrementProcessed(logger); } } if(qprogress != null) { qprogress.incrementProcessed(logger); }