This should be reentrant, has no side effects when called multiple times.
| 79 | |
| 80 | // This should be reentrant, has no side effects when called multiple times. |
| 81 | void GPReader::close() { |
| 82 | this->bucketReader.close(); |
| 83 | } |
| 84 | |
| 85 | // invoked by s3_import(), need to be exception safe |
| 86 | GPReader* reader_init(const char* url_with_options) { |
no outgoing calls