Lines Matching refs:extension
554 char extension[5] = ".000";
555 extension[1]='0'+byte(i/100);
556 extension[2]='0'+byte((i/10)%10);
557 extension[3]='0'+byte(i%10);
558 fileSinks[i].reset(new FileSink((string(filename)+extension).c_str()));
604 char extension[5] = ".000";
605 extension[1]='0'+byte(i/100);
606 extension[2]='0'+byte((i/10)%10);
607 extension[3]='0'+byte(i%10);
608 fileSinks[i].reset(new FileSink((string(filename)+extension).c_str()));