ontohub/ontohub — pull request #1075 by eugenk (2014-10-08 21:26:53+00:00)
Title: 617 handle file deletion

This shall fix #617 and #958.

Files in the repository can be deleted now via the web interface.
Then, their ontologies will be marked as 'not having a file' (`has_file`).
This flag is stored in the database, but only for the head-version of an ontology (as a cache).
One can still ask for a specific commit, if an ontology has a file (`has_file(commit_oid)`), which then accesses the hard drive.

Deletion via ssh is detected and the flag is set in that case.

In the view (ontology#show), the nonexistence of a corresponding file is indicated by text and the absence of a link to the file.