| 167 | } |
| 168 | |
| 169 | void UnregisterMountedExplorer(Explorer *exp) { |
| 170 | auto it = std::find(g_MountedExplorers.begin(), g_MountedExplorers.end(), exp); |
| 171 | if(it != g_MountedExplorers.end()) { |
| 172 | DeleteExplorer(*it); |
| 173 | g_MountedExplorers.erase(it); |
| 174 | } |
| 175 | } |
| 176 | |
| 177 | } |
no test coverage detected