| 617 | } |
| 618 | |
| 619 | void clearDevices() |
| 620 | { |
| 621 | DeviceVector devices(devices_.begin(), devices_.end()); |
| 622 | |
| 623 | for(DeviceVector::iterator it = devices.begin(); it != devices.end(); ++it) |
| 624 | { |
| 625 | delete (*it); |
| 626 | } |
| 627 | |
| 628 | // Should never happen |
| 629 | if(!devices_.empty()) |
| 630 | { |
| 631 | LOG_WARNING << "after deleting all REPLAY devices the internal device list should be empty!"; |
| 632 | } |
| 633 | } |
| 634 | |
| 635 | Freenect2Device *openDevice(const std::vector<std::string>& frame_filenames, const PacketPipeline *pipeline); |
| 636 | }; |