| 709 | } |
| 710 | |
| 711 | void generic_data_reader::set_file_dir(std::string s) |
| 712 | { |
| 713 | if (endsWith(s, "/")) { |
| 714 | m_file_dir = s; |
| 715 | } |
| 716 | else { |
| 717 | m_file_dir = s + "/"; |
| 718 | } |
| 719 | } |
| 720 | |
| 721 | void generic_data_reader::set_local_file_dir(std::string s) |
| 722 | { |
no outgoing calls