BibDocFile: change name failure raises exception
- If the bibdoc name was not changed, the change_name() function will raise an exception. (PR #2071)
Signed-off-by: Sebastian Witowski <sebastian.witowski@cern.ch>
Reviewed-by: Tibor Simko <tibor.simko@cern.ch>