1022 hotfix_aborting_of_ontologies

Shall fix #1022 and (hopefully) #1110.
The commit should be cherry-picked to master and deployed to ontohub.org upon merging into staging.