Function deleteRegion

src/tools/store.cpp:24–31

void removeLocks() { storage::SharedMonitor<storage::SharedRegionRegister>::remove(); }

void deleteRegion(const storage::ProjID proj_id)
{
    if (storage::RegionExists(proj_id) && !storage::Remove(proj_id))
    {
        util::Log(logWARNING) << "could not delete shared memory region "
                              << static_cast<int>(proj_id);
    }
}

void listRegions(bool show_blocks)
{