Skip to content

Commit

Permalink
Add missing JavaDoc
Browse files Browse the repository at this point in the history
  • Loading branch information
solth committed Sep 7, 2023
1 parent 0113235 commit 41f7d97
Showing 1 changed file with 5 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -1562,6 +1562,11 @@ private DualHashBidiMap<URI, URI> readRenamingFile(Process process) {
return renamingMapping;
}

/**
* Removes a potential '.renaming' file of the provided Process 'process'.
* @param process Process whose '.renaming' file is removed
* @throws IOException when removing the '.renaming' file fails
*/
public void removeRenamingFile(Process process) throws IOException {
URI processDataUri = ServiceManager.getProcessService().getProcessDataDirectory(process);

Expand Down

0 comments on commit 41f7d97

Please sign in to comment.