Skip to content

Commit

Permalink
Merge pull request #19 from DigiKlausur/fix_remove_pool
Browse files Browse the repository at this point in the history
Make sure non empty pools can be removed
  • Loading branch information
tmetzl authored Oct 22, 2024
2 parents e680b84 + 80049a4 commit 8a9df91
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion e2xauthoring/models/pool.py
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ def create(name: str, base_path: str, init_repo: bool = False):

def remove(self):
assert os.path.exists(self.path), f"Pool {self.name} does not exist"
os.rmdir(self.path)
shutil.rmtree(self.path)
self.repo.detach(self)

def copy(self, new_name: str):
Expand Down

0 comments on commit 8a9df91

Please sign in to comment.